@book{9537,
	author = {Hilbert, D. and W., Ackermann},
	title = {Elementos de lógica teórica},
	address = {Madrid}
}