@book{9272,
	author = {Iranzo, Pascual Julián},
	title = {Lógica simbólica para informáticos},
	publisher = {Alfaomega,},
	year = {2005},
	address = {México :}
}