TY  - BOOK
AU  - Новиков,Петр Сергеевич
TI  - Элементы математической логики
U1  - 517.11 
PY  - 1973///
CY  - Москва
PB  - Наука
KW  - Математика
KW  - Логика
ER  -