TY  - BOOK
AU  - Hilbert, David
AU  - ill.
TI  - Principles of mathematical logic
AV  - BC135.H514 
CY  - New York
KW  - Logic, symbolic and mathematical
ER  -