Mathematical Logic

Foundations for Information Science

Authors:

ISBN: 978-3-7643-9976-4 (Print) 978-3-7643-9977-1 (Online)

Table of contents (10 chapters)

  1. Front Matter

    Pages i-xii

  2. No Access

    Book Chapter

    Pages 1-18

    Syntax of First-Order Languages

  3. No Access

    Book Chapter

    Pages 19-44

    Models of First-Order Languages

  4. No Access

    Book Chapter

    Pages 45-70

    Formal Inference Systems

  5. No Access

    Book Chapter

    Pages 71-96

    Computability & Representability

  6. No Access

    Book Chapter

    Pages 97-116

    Gödel Theorems

  7. No Access

    Book Chapter

    Pages 117-137

    Sequences of Formal Theories

  8. No Access

    Book Chapter

    Pages 139-167

    Revision Calculus

  9. No Access

    Book Chapter

    Pages 169-185

    Version Sequences

  10. No Access

    Book Chapter

    Pages 187-208

    Inductive Inference

  11. No Access

    Book Chapter

    Pages 209-228

    Workflows for Scientific Discovery

  12. Back Matter

    Pages 229-261