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