@book{8100,
	author = {Bochenski, I. M.},
	title = {Historia de la lógica formal},
	publisher = {Gredos, },
	year = {1967.},
	address = {Madrid : }
}
