Treatise on Intuitionistic Type Theory

Authors:

ISBN: 978-94-007-1735-0 (Print) 978-94-007-1736-7 (Online)

Table of contents (6 chapters)

  1. Front Matter

    Pages i-xiii

  2. No Access

    Chapter

    Pages 1-11

    Prolegomena

  3. No Access

    Chapter

    Pages 13-51

    Truth and Knowledge

  4. No Access

    Chapter

    Pages 53-76

    The Notion of Set

  5. No Access

    Chapter

    Pages 77-106

    Reference and Computation

  6. No Access

    Chapter

    Pages 107-154

    Assumption and Substitution

  7. No Access

    Chapter

    Pages 155-173

    Intuitionism

  8. Back Matter

    Pages 175-196