APA
(1983). Справочная книга по математической логике: теория доказательств и конструктивная математика. Москва: Главная редакция физико-математической литературы.
Chicago
1983. Справочная книга по математической логике: теория доказательств и конструктивная математика. Москва: Главная редакция физико-математической литературы.
Harvard
(1983). Справочная книга по математической логике: теория доказательств и конструктивная математика. Москва: Главная редакция физико-математической литературы.
MLA
Справочная книга по математической логике: теория доказательств и конструктивная математика. Москва: Главная редакция физико-математической литературы. 1983.