Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Логика
\
Исчисление предикатов
\
Примеры теорий первого порядка
\
9.6.2.4.3.1. Примеры теорий первого порядка (Кейслер Г. Дж., Чэн Ч. Ч.)
Начало см.
здесь
.
Кейслер Г. Дж., Чэн Ч.Ч.
Теория моделей.
Пер. с англ., М.: Мир, 1977, cc. 52 — 65.
9.6.2.4.3.1.1. Теории частичного и линейного порядков
9.6.2.4.3.1.2. Арифметики
9.6.2.4.3.1.3. Теории множеств
Основополагающие определения и теоремы раздела 1.3
(в том числе и
таблицу 1.3.1
) см.
здесь
. Определение отношения
выводимости
см.
здесь
.
9.6.2.4.3.1.1. Теории частичного и линейного порядков
9.6.2.4.3.1.2. Арифметики
9.6.2.4.3.1.3. Теории множеств
К началу данной страницы
Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Логика
\
Исчисление предикатов
\
Примеры теорий первого порядка
\
выводимости см. здесь.
