Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Логика \ Исчисление предикатов \ Примеры теорий первого порядка \ Примеры теорий первого порядка (Кейслер Г. Дж., Чэн Ч. Ч.) \

9.6.2.4.3.1.2. Арифметики

Начало см. здесь.
Кейслер Г. Дж., Чэн Ч.Ч.
Теория моделей.
Пер. с англ., М.: Мир, 1977, cc. 52 — 65.



Продолжение см. здесь.
К началу данной страницы
Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Логика \ Исчисление предикатов \ Примеры теорий первого порядка \ Примеры теорий первого порядка (Кейслер Г. Дж., Чэн Ч. Ч.) \