Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Логика
\
Учебники и монографии по математической логике
\
Математическая логика (C. Клини, 1973)
\
Исчисление предикатов (дополнительные разделы)
\
Теорема Геделя о полноте; введение
\
9.6.2.8.9.6.48.3. Пример 1
Начало см.
здесь
и
здесь
.
Клини С.
Математическая логика.
Пер. с англ., М.: Мир, 1973, cc. 341 — .
К началу данной страницы
Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Логика
\
Учебники и монографии по математической логике
\
Математическая логика (C. Клини, 1973)
\
Исчисление предикатов (дополнительные разделы)
\
Теорема Геделя о полноте; введение
\
