TY  - BOOK
AU  - Lieber L R
AU  - Lieber H G
TI  - Mits wits and logic
U1  - 164.02 
PY  - 1947///
CY  - New York
PB  - Norton
KW  - Mathematical logic
KW  - Symbolic logic
ER  -