Новиков П.С. <br/><br/>
Конструктивная математическая логика с точки зрения классической. 
Новиков П.С. 
 - М.  Наука  1977 
 - 328 с. 
<br/><br/><label>Dewey Class. No.: </label>510.6