TY  - BOOK
AU  - Новиков П.С.
TI  - Конструктивная математическая логика с точки зрения классической
U1  - 510.6 
PY  - 1977///
CY  - М.
PB  - Наука
ER  -