Welcome to E-Books Directory
This is a freely downloadable e-book.

Intuitionistic Type Theory

Intuitionistic Type Theory
by Per Martin-Loef

1980
Number of pages: 57

Description:
Contents: Introductory remarks; Propositions and judgements; Explanations of the forms of judgement; Propositions; Rules of equality; Hypothetical judgements and substitution rules; Judgements with more than one assumption and contexts; Sets and categories; General remarks on the rules; Cartesian product of a family of sets; Definitional equality; Applications of the cartesian product; Disjoint union of a family of sets; Applications of the disjoint union; The axiom of choice; The notion of such that; Disjoint union of two sets; Propositional equality; Finite sets; Consistency; Natural numbers; Lists; Wellorderings; Universes.

 Download or read it online here:

Download link

 (670KB, PDF)

 

Download mirrors:
Mirror 1