TY  - BOOK
AU  - Новиков,Петр Сергеевич
TI  - Элементы математической логики
T2  - Математическая логика и основания математики
PY  - 1973///
CY  - Москва
PB  - Наука
N1  - Предм. указ.: с. 397-399
ER  -