Intuitionistic type theory /

Intuitionistic type theory /

Show other versions (1)
Saved in:
Bibliographic Details
Main Authors: Martin-Löf, Per, 1942-, Martin-Löf, Per, 1942-
Other Authors: Sambin, Giovanni
Format: Book
Language:English
Published: Napoli : Bibliopolis, 1984
Napoli : c1984
Napoli : 1984
Series:Studies in proof theory Lecture notes ; 1
Studies in proof theory ; 1
Studies in proof theory Lecture notes ; 1
Studies in proof theory Lecture notes ; 1.
Studies in proof theory 1
Subjects:
Intuitionistic mathematics
Logic, Symbolic and mathematical
Proof theory
Type theory
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

Stanford University

Holdings details from Stanford University
Call Number: ISIL:US-CST
QA9.47 .M37

University of Chicago

Holdings details from University of Chicago
Call Number: QA9.54.M37 1984

Johns Hopkins University

Holdings details from Johns Hopkins University
Call Number: QA9.47 .M37 1984

Duke University

Holdings details from Duke University
Call Number: 511.3 S933, P965x, v.1

Cornell University

Holdings details from Cornell University
Call Number: QA9.47 .M37

Princeton University

Holdings details from Princeton University
Call Number: QA9.47 .M37

Columbia University

Holdings details from Columbia University
Call Number: QA9.47 .M37 1984g

University of Pennsylvania

Holdings details from University of Pennsylvania
Call Number: QA9.47 .M37

Similar Items