TY  - BOOK
AU  - Сморинский,К.
AU  - Швихтенберг,Г.
AU  - Стетмен,Р.
AU  - Барвайс,Дж
TI  - Справочная книга по математической логике: В 4-х ч. Пер. с англ
PY  - 1983///
CY  - М.
PB  - Наука
KW  - Доказательства [мат.] - (ч. 4)
KW  - RU-rurkp
KW  - Конструктивная математика - (ч. 4)
KW  - математическая логика
KW  - сборники
N1  - Перевод изд.: Handbook of mathematical logic (Amsterdam etc., 1977); Изд. выходит с 1982 г; Получено из INTERNET
UR  - http://sun.tsu.ru/limit/2016/000153863/000153863.djvu
ER  -