TY  - DATA
AU  - Барвайс,Дж
AU  - Кейслер,Х.Дж
AU  - Эклоф,П.
TI  - Справочная книга по математической логике: в 4 ч
PY  - 2000///?]
CY  - [Б. м.
PB  - б. и.
KW  - справочники
KW  - математическая логика
KW  - теория моделей
KW  - электронные документы
KW  - сборники
N1  - Загл. с экрана
UR  - http://sun.tsu.ru/limit/2016/000241636/000241636.djvu
ER  -