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