Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Логика
\
Учебники и монографии по математической логике
\
Справочная книга по математической логике. Часть I. Теория моделей (под ред. Дж. Барвайса, 1982 г.)
\
9.6.2.8.1.1. Введение в логику первого порядка (Дж. Барвайс)
Начало см.
здесь
.
Барвайс Дж.
Введение в логику первого порядка.
В книге:
Справочная книга по математической логике.
Часть I. Теория моделей (под ред. Дж. Барвайса).
М.: Наука, 1982, cc. 13 — .
9.6.2.8.1.1.2. Что и как можно выразить в логике первого порядка
9.6.2.8.1.1.2. Что и как можно выразить в логике первого порядка
К началу данной страницы
Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Логика
\
Учебники и монографии по математической логике
\
Справочная книга по математической логике. Часть I. Теория моделей (под ред. Дж. Барвайса, 1982 г.)
\
