@book{1546,
	author = {Hilbert, D.},
	title = {Elementos de lógica teórica.},
	publisher = {Editorial Tecnos},
	year = {1962.},
	address = {Madrid}
}