Шапорев, Сергей Дмитриевич <br/><br/>
Математическая логика :  Курс лекций и практических занятий / 
С.Д. Шапорев. 
 - Санкт-Петербург :  БХВ-Петербург,  2005. 
 - 416 с. :  ил. 
<br/><br/> Предм. указ.: с. 406-410 
<br/><br/>Список литературы: с. 405 
<br/><br/><label>ISBN: </label>5-94157-702-8 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Математическая логика