@book{49869,
	author = {Hilbert, D. and Ackermann, W.},
	title = {Grundzuge Der Theoretischen Logik},
	publisher = {Springer-Verlag,},
	year = {1967.},
	address = {Berlin:}
}