Конструктивная математическая логика с точки зрения классической

Новиков, Петр Сергеевич.
     Конструктивная математическая логика с точки зрения классической / П. С. Новиков. — Москва : Наука, 1977. — 328 с., [1] л. портр. (Математическая логика и основания математики).

Библиогр.: с. 318-320
Указ. имен и предм.: с. 323-328.


УДК: 510.6:16

[ SYS NUM: 30442 ]