Popular Lectures on Mathematical LogicHao WangA 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 pl...

Normalization, Cut-Elimination and the Theory of ProofsA.M. UngarIntroduction 1 Background 2 Comparing NJ with LJ 3 Natural Deduction Revisited 4 The Problem of Substitution 5 A Multiple-Conclusion Calculus 6 Reduction Procedures 7 Correspondence Results 8 Interpretations of Derivations Appendices A. A Strong Cut-Elimination Theorem for LJ B. A Formulation of the Classical Sequent Calculus C. Proofs and Categories

Set TheoryThomas JechPart I. Sets 1. Axiomatic Set Theory 2. Transitive Models of Set Theory Part II. More Sets 3. Forcing and Generic Models 4. Some Applications of Forcing Part III. Large Sets 5. Measurable Cardinals 6. Other Large Cardinals Part IV. Sets of Reals 7. Descriptive Set Theory

Tense LogicRobert P. McArthur1. An Overview of Tense Logic 2. Linear Tense Logics 3. Branching Tense Logic and Temporal Modality 4. Quantificational Tense Logics 5. Soundness and Completeness Theorems for Tense Logic

The Elements of Mathematical LogicPaul RosenbloomI. The Logic of Classes II. The Logic of Propositions III. The Logic of Proposional Functions IV. The General Syntax of Language

Inleiding tot de symbolische logicaH.C.M. de Swart, H.G. HubbelingI. De Uitspraakrekening II. De Predicatenrekening III. De Onvolledigheids-stelling IV. Enkele bijzondere stystemen die met name voor de wijsbegeerte van belang zijn Antwoorden bij de oefeningen

Inleiding in de MathesisDr. E.M. Bruins1. Elementaire analytische meetkunde 2. Differentiaalrekening 3. Complexe getallen 4. Hogere machtsvergelijkingen 5. Omhulden 6. Oneindige verzamelingen en haar afbeeldingen 7. Oneindige reeksen 8. De reeks van Taylor 9. Primitieve functies 10. Integraalrekening 11. Determinanten, lineaire vergelijkingen, eliminanten 12. Enkele meetkundige eigenschappen 13. Puntenparen en kegelsneden 14. Gewone en singuliere punten van vlakke krommen 15. Elementaire analyti...

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