На западе по этому делу самая популярная книжка Основы математического анализа — Уолтер Рудин.
Рудин вполне себе добротная книжка, слишком сжатая в наиболее деликатных местах, на мой взгляд, правда. Нравится Рудин - читайте его, хотя у меня лично другие предпочтения.
но пока это теория теории с доказательствами.
А чего Вы ждете от теории?
т.к. Real Analysis уж похоже сильно нужен для математиков, а не для инженеров - так кажется (читая анг. литературу), что для инженеров достаточно "избранного".
Смотря какие инженеры. Некоторым его (вещественного анализа) действительно не хватает, и нужен еще и комплексный, тоже богатый (а может, более богатый) на приложения.
А вообще, принцип "достаточности" - не лучший ни в науке, ни в любой другой карьере, имхо.