@book{64261, author = {Смальян, Раймонд М. and Косовский, Н. К.}, title = {Теория формальных систем /}, publisher = {Наука,}, year = { 1981.}, series = {Математическая логика и основания математики}, address = {Москва :} }