@book{8136813,
	author = {Таванец, П.В.},
	title = {Применение логики в науке и технике},
	publisher = {Изд-во Акад. наук СССР},
	year = {[1960]},
	address = {Москва]}
}