П.С. Новиков <br/><br/>
Конструктивная математическая логика с точки зрения классической 

 - Москва  Наука  1977 
 - 324с.