Ч. 4 : Теория доказательств и конструктивная математика; Справочная книга по математической логике (1983, 1983)
Перевод изд.: Handbook of mathematical logic