TY - BOOK AU - Hilbert D. AU - Ackermann W. TI - Grundzuege der Theoretischen Logik U1 - 510.6 PY - 1959/// CY - Berlin-Goettingen-Heidelberg PB - Springer-Verlag N1 - Die Grundlehren der Mathematischen Wissenschaften, Bd. XXVII ER -