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