Справочная книга по математической логике. В четырех томах. Под редакцией Дж. Барвайса.
1982, изд-во: Наука, город: Москва, стр. : 392 с., 374 с., 360 с., 392 с., обложка: Издательский переплет, формат: Обычный, состояние: Очень хорошее. 1. Теория моделей - 2. Теория множеств. - 3. Теория рекурсии. - 4. Теория доказательств и конструктивная математика