TY  - BOOK
AU  - Новиков, Петр
TI  - Конструктивная математическая логика с точки зрения классической
T2  - Математическая логика и основания математики
PY  - 1977///
CY  - Москва
PB  - Наука
KW  - მათემატიკური ლოგიკა
ER  -