TY  - BOOK
AU  - Hilbert D
AU  -  Ackermann W
TI  - Principles of mathematical logic
U1  - B14, J0;1 
PY  - 1950///
KW  -  Arithmetic
KW  - Mathematics
ER  -