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

9.6.2.4.3.1.3. Теории множеств

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