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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.