Treatise on intuitionistic type theory

Author(s)

• Granström, Johan Georg

Bibliographic Information

Treatise on intuitionistic type theory

Johan Georg Granström

（Logic, epistemology, and the unity of science / editors, Shahid Rahman, John Symons, v. 22）

Springer, c2011

• : pbk

Note

Includes bibliographical references (p. [175]-185) and indexes

• NCID: BC16422610
• ISBN:
  • 9789400736399
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York
• Pages/Volumes: xiii, 196 p.
• Size: 24 cm
• Classification:
  • LCC : QA9
  • DC23 : 511.3
• Subject Headings:
  • LCSH : Type theory
• Parent Bibliography ID:
  • BA70807900