Ч. I-392 стр.:"Теория моделей". Пер.с анг.: Гончаров С.С., Дзгоев В.Д., Самохвалов К.Ф., Свириденко Д.И. Под ред.: Ершов Ю.Л., Палютин Е.А., Тайманов А.Д.
Ч. II-376 стр.: "Теория множеств". Пер.с анг.: Кановей В.Г. Под ред.: Гришин В.Н.
Ч. III-360 стр.: "Теория рекурсии". Пер.с анг.: Дворников С.Г., Лавров И.А. Под ред.: Ершов Ю.Л.
Ч. IV-392 стр.: "Теория доказательств и конструктивная математика". Пер.с анг.: Давыдов... (Подробнее)