Introduction to logic/
Patrick Suppes
- New York: Dover, 1957.
- xiv, 312 p. : ill. ; 22 cm.
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.