TY  - BOOK
AU  - Suppes Patrick
TI  - Introduction to logic
U1  - R1, J7(ER),J7-;1(ER),J7-;1(TTR) 
PY  - 1967///
CY  - New
PB  - #NAME?
KW  - PHILOSOPHY
ER  -