@book{10027,
	author = {Hortalá González, Teresa},
	title = {Lógica matemática para informáticos :},
	publisher = {Pearson Educacion, S.A.,},
	year = {2008.},
	series = {Prentice Práctica},
	address = {Madrid :}
}