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