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