Introduction1 Background2 Comparing NJ with LJ3 Natural Deduction Revisited4 The Problem of Substitution5 A Multiple-Conclusion Calculus6 Reduction Procedures7 Correspondence Results8 Interpretations of DerivationsAppendicesA. A Strong Cut-Elimination Theorem for LJB. A Formulation of the Classical Sequent CalculusC. Proofs and Categories

1. An Overview of Tense Logic2. Linear Tense Logics3. Branching Tense Logic and Temporal Modality4. Quantificational Tense Logics5. Soundness and Completeness Theorems for Tense Logic

I. The Logic of ClassesII. The Logic of PropositionsIII. The Logic of Proposional FunctionsIV. The General Syntax of Language

A noted logician and philosopher addresses various forms of mathematical logic discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context and then focuses on the four principal domains of contemporary mathematical logic: set theory model theory recursion theory and constructivism and proof theory.Topics include the place of problems in the development of theories of lo...

1. Elementaire analytische meetkunde2. Differentiaalrekening3. Complexe getallen4. Hogere machtsvergelijkingen5. Omhulden6. Oneindige verzamelingen en haar afbeeldingen7. Oneindige reeksen8. De reeks van Taylor9. Primitieve functies10. Integraalrekening11. Determinanten lineaire vergelijkingen eliminanten12. Enkele meetkundige eigenschappen13. Puntenparen en kegelsneden14. Gewone en singuliere punten van vlakke krommen15. Elementaire analytische stereometrie16. Oppervlakken en krommen17. Meervou...

Modalitäten Paradoxien - Beiträge zur LogikHorst Wessel (ed.)

I. De UitspraakrekeningII. De PredicatenrekeningIII. De Onvolledigheids-stellingIV. Enkele bijzondere stystemen die met name voor de wijsbegeerte van belang zijnAntwoorden bij de oefeningen