@book{188078,
	author = {Смирнов, Владимир Александрович and Ин-т философии},
	title = {Формальный вывод и логические исчисления /},
	publisher = {Наука,},
	year = {1972.},
	address = {Москва :}
}