约翰·乔治·格兰斯特罗姆 关于直觉主义类型理论的论述。 （英文） Zbl 1246.03005号 逻辑、认识论与科学的统一22.柏林：施普林格出版社（ISBN 978-94-007-1735-0/hbk；978-94-07-1736-7/电子书）。xiii，196页。(2011). 这本书摘自作者的博士论文，是马丁·洛夫直觉主义类型理论的介绍。它基于Martin-Löf仅以讲座形式提出的几项贡献，但也有一些新的技术贡献，例如增加了共性定义和使用了急切评估，而不是懒惰评估。这个结果结合了哲学、数学逻辑和计算机科学。审核人：蒂埃里·科昆德（哥德堡） 引用于1审查引用于7文件 MSC公司： 03-02 与数学逻辑和基础相关的研究展览（专著、调查文章） 03楼55 直觉数学 65楼03号 其他构造数学 03A05号 逻辑和基础的哲学和批判性方面 03B70号 计算机科学中的逻辑 关键词：直觉依赖型理论;数学哲学 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Granström}，《直觉主义类型理论论》。柏林：施普林格出版社（2011；Zbl 1246.03005） 全文： 内政部