TY  - GEN
AU  - Hilbert, D.
AU  - Ackermann, W
TI  - Principles of mathematical logic
SN  - NULL
U1  - 511.3 
PY  - 1950///
CY  - New York
PB  - Chelsea Pub.
KW  - CALCULUS
KW  - MATHEMATICS
ER  -