Справочная книга по математической логике : В 4-х ч. Пер. с англ.. Ч. 4. Теория доказательств и конструктивная математика / [К. Сморинский, Г. Швихтенберг, Р. Стетмен и др. ]; Пер. Г. В. Давыдова, Г. Е. Минца; Под ред. В. П. Оревкова / Под ред. Дж. Барвайса. - М. : Наука, 1983. - 391 с.. URL: http://sun.tsu.ru/limit/2016/000153863/000153863.djvu