TY  - BOOK
AU  - Hilbert,David
AU  - Ackermann,W.
AU  - Luce,Robert E.
TI  - Principles of mathematical logic
U1  - 511.3     21
PY  - 1950///
CY  - New York
PB  - Chelsea
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references
ER  -