Смальян, Рэймонд Меррилл.<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Теория формальных систем / Р. Смальян ; Пер. с англ. Н. К. Косовского ; Под ред. Н. А. Шанина. &mdash; Москва : Наука, 1981. &mdash; 207 с. : ил. (Математическая логика и основания математики).<br><br>Пер. изд.: Theory of formal systems / Raymond M. Smullyan (Princeton, N.J., 1962).<br> Библиогр.: с. 202-204 <br> Указ. определений, обозначений: с. 205-207.<br><br>Косовский, Н. К., пер.<br>Шанин, Н. А., ред.<br><br>УДК: 510.64 <br><br>[ SYS NUM: 30531 ]