Mathematical Logic

Foundations for Information Science

Authors:

ISBN: 978-3-0348-0861-3 (Print) 978-3-0348-0862-0 (Online)

Table of contents (10 chapters)

  1. Front Matter

    Pages i-xiv

  2. Elements of Mathematical Logic

    1. Front Matter

      Pages 1-1

    2. No Access

      Chapter

      Pages 3-21

      Syntax of First-Order Languages

    3. No Access

      Chapter

      Pages 23-53

      Models of First-Order Languages

    4. No Access

      Chapter

      Pages 55-81

      Formal Inference Systems

    5. No Access

      Chapter

      Pages 83-115

      Computability and Representability

    6. No Access

      Chapter

      Pages 117-136

      Gödel Theorems

  3. Logical Framework of Scientific Discovery

    1. Front Matter

      Pages 137-137

    2. No Access

      Chapter

      Pages 139-160

      Sequences of Formal Theories

    3. No Access

      Chapter

      Pages 161-215

      Revision Calculus

    4. No Access

      Chapter

      Pages 217-233

      Version Sequences

    5. No Access

      Chapter

      Pages 235-255

      Inductive Inference

    6. No Access

      Chapter

      Pages 257-278

      Meta-Language Environments

  4. Back Matter

    Pages 279-301