@book{5855,
	author = {Sacristán Luzón, Manuel},
	title = {Introducción a la lógica y al análisis formal},
	publisher = {Ediciones Ariel},
	year = {1964},
	address = {Barcelona :}
}