A Course on Mathematical Logic

Authors:

ISBN: 978-1-4614-5745-9 (Print) 978-1-4614-5746-6 (Online)

Table of contents (7 chapters)

  1. Front Matter

    Pages i-xii

    Download PDF (169KB)

  2. No Access

    Book Chapter

    Pages 1-13

    Syntax of First-Order Logic

    Look Inside Get Access

  3. No Access

    Book Chapter

    Pages 15-40

    Semantics of First-Order Languages

    Look Inside Get Access

  4. No Access

    Book Chapter

    Pages 41-55

    Propositional Logic

    Look Inside Get Access

  5. No Access

    Book Chapter

    Pages 57-84

    Completeness Theorem for First-Order Logic

    Look Inside Get Access

  6. No Access

    Book Chapter

    Pages 85-140

    Model Theory

    Look Inside Get Access

  7. No Access

    Book Chapter

    Pages 141-164

    Recursive Functions and Arithmetization of Theories

    Look Inside Get Access

  8. No Access

    Book Chapter

    Pages 165-191

    Representability and Incompleteness Theorems

    Look Inside Get Access

  9. Back Matter

    Pages 193-198

    Download PDF (187KB)