TY - BOOK TI - Справочная книга по математической логике: теория доказательств и конструктивная математика PY - 1983/// CY - Москва PB - Главная редакция физико-математической литературы KW - UDC ER -