@book{35580,
	author = {Arnaz, Jose Antonio},
	title = {Iniciacion a la logica simbolica},
	publisher = {Trillas},
	year = {1980},
	edition = {2a ed}
}