Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Логика
\
Исчисление предикатов
\
Истинность предложения в интерпретации
\
9.6.2.4.1.1. Языки первого порядка
©
9.6.2.4.1.1.1. Формализация языка
9.6.2.4.1.1.2. Превращение языка в формальную систему
Начало см.
здесь
.
9.6.2.4.1.1.1. Формализация языка
9.6.2.4.1.1.2. Превращение языка в формальную систему
