Справочная книга по математической логике Теория доказательств и контструктивная математика (Наука, 1983)