Конструктивная математическая логика с точки зрения классической
П.С. Новиков
Конструктивная математическая логика с точки зрения классической - Москва Наука 1977 - 324с.
Конструктивная математическая логика с точки зрения классической - Москва Наука 1977 - 324с.