Справочная книга по математической логике : в 4-х ч. : пер. с англ. Ч. 4, Теория доказательств и конструктивная математика /