Книга: Математика Метаматематики

Часть 1. Решетки (Предварительные сведения из топологии, алгебры и теории решеток. Булевы алгебры. Топологические булевы алгебры. Псевдобулевы алгебры). Часть 2. Классическая логика (Формализованные математические теории. Алгебра формализованных языков. Классические пропозициональные исчисления. Классические элементарные формализованные теории). Часть 3. Неклассические логики (Интуиционистские пропозициональные исчисления. Интуиционистские элементарные формализованные теории. Позитивная логика и модальная логика).