(1983). Справочная книга по математической логике: Теория доказательств и контструктивная математика. Наука.
Цитирование в стиле Чикаго (17-е изд.)Справочная книга по математической логике: Теория доказательств и контструктивная математика. M: Наука, 1983.
Цитирование MLA (8-е изд.)Справочная книга по математической логике: Теория доказательств и контструктивная математика. Наука, 1983.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.