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