@book{1600,
	author = {Mosterín, Jesús.},
	title = {Lógica de primer orden.},
	publisher = {Ediciones Ariel},
	year = {1970.},
	series = {Colección Convivium},
	address = {Barcelona}
}