Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Логика \ Учебники и монографии по математической логике \
 

9.6.2.8.1. Справочная книга по математической логике.
Часть I. Теория моделей
(под ред. Дж. Барвайса, 1982 г.)

Начало см. здесь.
Справочная книга по математической логике.
Часть I. Теория моделей (под ред. Дж. Барвайса).
Пер. с англ., М.: Наука, 1982.
9.6.2.8.1.1. Введение в логику первого порядка (Дж. Барвайс)      9.6.2.8.1.2. Основы теории моделей (Х. Дж. Кейслер)
9.6.2.8.1.1. Введение в логику первого порядка (Дж. Барвайс)      9.6.2.8.1.2. Основы теории моделей (Х. Дж. Кейслер)