@book{306685,
	author = {Ben-Ari, Mordechai},
	title = {Mathematical logic for computer science},
	publisher = {Springer London},
	year = {2012},
	address = {London},
	edition = {Tercera edición}
}