(1983). Ч. 4: Теория доказательств и конструктивная математика; Справочная книга по математической логике. 1983.
Chicago-Zitierstil (17. Ausg.)Ч. 4: Теория доказательств и конструктивная математика; Справочная книга по математической логике. 1983, 1983.
MLA-Zitierstil (9. Ausg.)Ч. 4: Теория доказательств и конструктивная математика; Справочная книга по математической логике. 1983, 1983.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.