Ершов, Юрий Леонидович <br/><br/>
Проблемы разрешимости и конструктивные модели / 
Ю.Л. Ершов. 
 - Москва :  Наука,  1980. 
 - 415 с. 
 - Математическая логика и основания математики .
<br/><br/><label>Subjects--Topical Terms: </label><br/>Алгебра высшая