Числовые системы Основания алгебры и анализа - Феферман С. (Наука, 1971)