@book{4828,
	author = {Hilbert, David, and Ackermann, W.},
	title = {Grundzüge der theoretischen Logik},
	publisher = {J. Springer,},
	year = {1928.},
	address = {Berlin :}
}