TY  - BOOK
AU  - Ambrose Alice
AU  - Lazerowitz Morris
TI  - Logic: the theory of formal inference
U1  - 164 
PY  - 1961///
CY  - New york
PB  - Holt Rinehart & Winston
KW  - Mathematical logic
KW  - Symbolic logic
ER  -