TY  - BOOK
AU  - Новиков,Петр Сергеевич
TI  - Конструктивная математическая логика с точки зрения классической
T2  - Математическая логика и основания математики
PY  - 1977///
CY  - Москва
PB  - Наука
N1  - Библиогр.: с. 318-320; Указ. имен и предм.: с. 323-328
ER  -