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