@book{1,
	author = {Farré Cirera, Rafael, and Nieuwenhuis, Robert,},
	title = {Lógica para informáticos /},
	publisher = {Alfaomega;},
	year = {2012.},
	address = {México:},
	edition = {Primera ediciónn: Alfaomega Grupo Editor, México, mayo 2012.},
	note = {"Área: Computación. Sub área: Teoría de la computación".}
}