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