Symbolic Logic

1. Introduction: Logic and Language. 2. Arguments Containing compound Statements. 3. The Method of Deduction. 4. Qualification Theory. 5. The Logic of Relations. 6. Deductive Systems. 7. Set Theory. 8. A Propositional Calculus. 9. Alternative systems and Notations. 10. A First-Order Function Calculus. Appendix A: Incompleteness of the Nineteen Rules. Appendix B: Normal Forms and Boolean Expansions. Appendix C: The Ramified Theory of Types. Solutions to Selected Exercises. Index.