TY  - BOOK
AU  - Hilbert,David
AU  - Ackermann,W.
TI  - Grundzüge der theoretischen Logik
U1  - 164 
PY  - 1967///
CY  - Berlin, Heidelberg, New York
PB  - Springer
KW  - Logic, Symbolic and mathematical
N1  - Bibliography: p. [183]-186. and index
ER  -