(1983). Ч. 4: Теория доказательств и конструктивная математика; Справочная книга по математической логике. 1983.
Chicago Style (17th ed.) CitationЧ. 4: Теория доказательств и конструктивная математика; Справочная книга по математической логике. 1983, 1983.
MLA (9th ed.) CitationЧ. 4: Теория доказательств и конструктивная математика; Справочная книга по математической логике. 1983, 1983.
Warning: These citations may not always be 100% accurate.