0. Introduction.- 1. Propositional Logic.- 2. Predicate Logic.- 3. Completeness and Applications.- 4. Second-Order Logic.- 5. Intuitionistic Logic.- 6. Appendix.- 7. Bibliography.- 8. Gothic Alphabet.- 9. Index.
"synopsis" may belong to another edition of this title.