2009

Computable Models

Authors:

ISBN: 978-1-84882-051-7 (Print) 978-1-84882-052-4 (Online)

Table of contents (26 chapters)

previous Page of 2
  1. Front Matter

    Pages 1-9

  2. No Access

    Book Chapter

    Pages 1-9

    What is a Computable Model?

  3. No Access

    Book Chapter

    Pages 1-14

    Typed Predicate Logic

  4. No Access

    Book Chapter

    Pages 1-12

    Data Types

  5. No Access

    Book Chapter

    Pages 1-6

    Definability

  6. No Access

    Book Chapter

    Pages 1-10

    Specification

  7. No Access

    Book Chapter

    Pages 1-10

    Functions

  8. No Access

    Book Chapter

    Pages 1-8

    Preconditions

  9. No Access

    Book Chapter

    Pages 1-14

    Natural Numbers

  10. No Access

    Book Chapter

    Pages 1-18

    Typed Set Theory

  11. No Access

    Book Chapter

    Pages 1-9

    Systems Modeling

  12. No Access

    Book Chapter

    Pages 1-13

    A Type of Types

  13. No Access

    Book Chapter

    Pages 1-15

    Schemata

  14. No Access

    Book Chapter

    Pages 1-11

    Separation Types

  15. No Access

    Book Chapter

    Pages 1-12

    Recursive Schemata

  16. No Access

    Book Chapter

    Pages 1-9

    Inductive Types

  17. No Access

    Book Chapter

    Pages 1-7

    Recursive Functions

  18. No Access

    Book Chapter

    Pages 1-10

    Schema Definitions

  19. No Access

    Book Chapter

    Pages 1-5

    Computable Ontology

  20. No Access

    Book Chapter

    Pages 1-5

    Classes

  21. No Access

    Book Chapter

    Pages 1-9

    Classes of Functions

previous Page of 2