@book{37352,
	author = {Hortalá González, Teresa and Martí Oliet, Narciso},
	title = {Lógica matemática para informáticos : ejercicios resueltos},
	publisher = {Pearson Educación, },
	year = {2008.},
	address = {Madrid : }
}