Глава 1. Элементы теории множеств
Глава 2. Языки первого порядка
Глава 3. Элементы теории доказательств
Глава 4. Теорема Гёделя о полноте
Глава 5. Теория алгоритмов