Intuitionistic type theory

Intuitionistic type theory

by Martin-Löf, Per

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :Intuitionistic type theory / Per Martin-Löf ; notes by Giovanni Sambin of a series of lectures given in Padua, June 1980.

Edition Statements

  • Publication Date:c1984.

Publication Statements

  • Publisher(s):Bibliopolis
  • Place of Publication:Napoli
  • Language:eng
  • Publication Date:c1984.

The Physical Object

  • Description:91 p. ; : 24 cm.

Edition Identifiers

  • ISBN:8870881059, 9788870881059
  • oclc:ocn781638718
  • LC Classification:QA9.54
  • Dewey Decimal:511/.3

Subjects

Intuitionistic mathematics Logic, Symbolic and mathematical Logique symbolique et mathématique Mathématiques intuitionnistes Proof theory Théorie de la preuve Théorie des types Type theory

Writers

Martin-Löf, Per Sambin, Giovanni

More from this Series

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • Intuitionistic Type Theory -- (.djvu)

    DJVU · 473.1 KB · updated
    Login →

  • Intuitionistic type theory -- (.djvu)

    DJVU · 318.3 KB · updated
    Login →

  • Intuitionistic Type Theory: Notes by Giovanni Sam…

    PDF · 2.4 MB · updated
    Login →
Log in to request a copy