TY  - BOOK
AU  - Hilbert, D.
AU  - Ackermann, W.
AU  - Luce, Robert E.
TI  - Principles of Mathematical Logic 
U1  - 511.3 
PY  - 1950///
CY  - New York : 
PB  - Chelsea Publishing, 
KW  - Logic Symbolic and Mathematical
N1  - YY
ER  -