@book{2000,
	author = {Caicedo, Xavier},
	title = {Elementos de lógica y calculabilidad},
	publisher = {Universidad de los Andes},
	year = {1990},
	address = {Bogotá (Cundinamarca, Colombia)}
}