Барвайз Джон К.
Справочная книга по математической логике. Часть 4. Теория доказательств и конструктивная математика
Справочная книга по математической логике. Часть 3. Теория рекурсии
Справочная книга по математической логике. Часть 2. Теория множеств
Справочная книга по математической логике. Часть 1. Теория моделей
