@book{277165,
	author = {Farré Cirera, Rafael and Nieuwenhuis, Robert},
	title = {Lógica para informáticos},
	publisher = {Marcombo},
	year = {2010},
	address = {Barcelona}
}