Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Логика \

9.6.2.4. Исчисление предикатов

9.6.2.4.1. Истинность предложения в интерпретации      9.6.2.4.2. Логика первого порядка в свете теоремы Эрбрана
9.6.2.4.3. Примеры теорий первого порядка