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