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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.