TY  - BOOK
AU  - Suppes, Patrick
TI  - Introduction to logic
SN  - 9780486406879
U1  - 160 
PY  - 1957///
CY  - New York
PB  - Dover
KW  - Logic
N1  - 1. The Sentential Connectives--
2. Sentential Theory Of Inference --
3. Symbolizing Everyday Language --
4. General Theory Of Inference --
5. Further Rules Of Inference --
6. Postscript On Use And Mention --
7. Transition From Formal To Informal Proofs --
8. Theory Of Definition --
9. Sets --
10. Relations --
11. Functions --
12. Set-Theoretical Foundations Of The Axiomatic Method
ER  -