@book{30531,
	author = {Смальян, Рэймонд Меррилл and Косовский, Н. К.},
	title = {Теория формальных систем},
	publisher = {Наука},
	year = {1981},
	series = {Математическая логика и основания математики},
	address = {Москва},
	note = {Пер. изд.: Theory of formal systems / Raymond M. Smullyan (Princeton, N.J., 1962)}
}