@book{30416,
	author = {Таванец, Петр Васильевич and Академия наук СССР},
	title = {Методы логического анализа},
	publisher = {Наука},
	year = {1977},
	address = {Москва}
}