@book{64181, author = {Новиков, Петр}, title = {Конструктивная математическая логика с точки зрения классической /}, publisher = {Наука,}, year = {1977.}, series = {Математическая логика и основания математики}, address = {Москва :} }