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