Hilbert D. Grundzuege der Theoretischen Logik. Hilbert D., Ackermann W. - Berlin-Goettingen-Heidelberg Springer-Verlag 1959 - 196 p. Die Grundlehren der Mathematischen Wissenschaften, Bd. XXVII Dewey Class. No.: 510.6