TY  - SER
AU  - Барвайс,Дж
TI  - Справочная книга по математической логике: в 4-х ч. : пер. с англ
PY  - 1983///
CY  - М.
PB  - Наука
ER  -