Смальян, Раймонд М. <br/><br/>
Теория формальных систем :  Пер. с англ. / 
Р. Смальян ; Пер. Н. Косовского ; Под ред. Н.А. Шанина. 
 - Москва :  Наука. Гл. ред. физ.-мат. лит.,  1981. 
 - 207 с. 
 - Математическая логика и основания математики .
<br/><br/><label>Subjects--Topical Terms: </label><br/>Математическая логика