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