Новиков, П. С. <br/><br/>
Конструктивная математическая логика с точки зрения классической/ 
П. С. Новиков 
 - Москва:  Наука,  1977. 
 - 328 с. 
 - Математическая логика и основания математики .
<br/><br/>Библиогр.: с.318-320 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Математическая логика