TY - BOOK AU - Смальян,Раймонд М. AU - Шанин,Н.А. TI - Теория формальных систем: Пер. с англ. PY - 1981/// CY - Москва PB - Наука. Гл. ред. физ.-мат. лит. KW - Математическая логика ER -