Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Логика
\
Учебники и монографии по математической логике
\
Справочная книга по математической логике. Часть I. Теория моделей (под ред. Дж. Барвайса, 1982 г.)
\
9.6.2.8.1.2. Основы теории моделей
(Х. Дж. Кейслер)
Начало см.
здесь
.
9.6.2.8.1.2.8. Теоретико - модельный форсинг
Кейслер Х. Дж.
Основы теории моделей.
В книге:
Справочная книга по математической логике.
Часть I. Теория моделей (под ред. Дж. Барвайса).
М.: Наука, 1982, cc. 55 — .
9.6.2.8.1.2.8. Теоретико - модельный форсинг
