APA Баримт

(1983). Справочная книга по математической логике: Теория доказательств и контструктивная математика. Наука.

Чикаго маягийн жагсаалт

Справочная книга по математической логике: Теория доказательств и контструктивная математика. M: Наука, 1983.

MLA ишлэл

Справочная книга по математической логике: Теория доказательств и контструктивная математика. Наука, 1983.

Warning: These citations may not always be 100% accurate.