@book{131370,
	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}
}