Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Логика
\
9.6.2.8. Учебники и монографии
по математической логике
Начало см.
здесь
.
9.6.2.8.1. Справочная книга по математической логике. Часть I. Теория моделей (под ред. Дж. Барвайса, 1982 г.)
9.6.2.8.2. Основания математики (Д. Гильберт, П. Бернайс)
9.6.2.8.3. Математика метаматематики (Е. Расева, Р. Сикорский; 1972)
9.6.2.8.4. Теория моделей (Г. Дж. Кейслер, Ч.Ч. Чэн; 1977)
9.6.2.8.5. A Formal Ontology of Situations (B. Wolnievich, 1982)
9.6.2.8.6. Формальная логика (Под ред. И.Я. Чупахина, И.Н. Бродского; 1977)
9.6.2.8.7. Математическая логика (Дж. Шенфилд, 1975)
9.6.2.8.8. Математическая теория логического вывода (сборник переводов, 1967)
9.6.2.8.9. Математическая логика (C. Клини, 1973)
9.6.2.8.10. Введение в метаматематику (С. К. Клини, 1957)
