Treatise on intuitionistic type theory
By: Johan Georg Granström
Edition: 1st ed.
Series: Logic, epistemology and the unity of science -- v. 22; Logic, epistemology and the unity of science -- v. 22.
Publisher: Springer
Published: 2011
Place of publication: New York
Language: eng
Number of pages: 196
ISBN-13: 9789400717350; 9789400717367
Subjects: Type theory
Notes: Includes bibliographical references (p. [175]-185) and indexes.