Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Логика
\
Исчисление предикатов
\
Истинность предложения в интерпретации
\
9.6.2.4.1.4. Изоморфизм моделей
©
Начало см.
здесь
и
здесь
.
Определение
языка
см.
здесь
. Определение
модели
данного языка см.
здесь
.
Продолжение см.
здесь
.
