Математика для программиста Введение в логику, урок 1: Базовые понятия Введение в логику, урок 2: Представление функций Введение в логику, урок 3: Самая сложная логическая задача Введение в логику, урок 4: Предикаты и кванторы Введение в логику, урок 5: Теории: интуиции Введение в логику, урок 6: Парадоксы и заключение