Не, ну список свойств в виде аксиом это одно, а вот мотивировки и пошаговое построение, да еще на языке алгебраических систем, всей конструкции это все же другое. Вся книга Фефермана сосредоточена на этом, а не перечисление списка свойств в одной из глав. Есть жалкое подобие и скорее всего копипаста от Нечаева. Числовые системы (1975). Естественно при всей похожести в списке литературы есть кто угодно, но не Феферман. В 1989 году вышло на английском втрое издание Фефермана. Я 60% смог слить из гугла-бук, но целиком книгу мне найти так и не удалось.

(Reply to this) (Parent) (Thread)

Как раз мотивировки и пошаговые построения в (хороших) учебниках алгебры присутствуют в полном объёме.

Предшественник книги Фефермана — классическая книга Ландау «Основы анализа» (тоже переведена и есть в сети).

Во втором издании Феферман пишет:
"This is a reprinting with no essential changes of the First Edition of this book."
И далее он пишет, что единственный новый материал — приложение III со обновлённым списком книг для дальнейшего чтения.
Так что вряд ли имеет смысл мучаться и пытаться выкачивать книгу дальше.

(Reply to this) (Parent)