| 书目名称 | History and Philosophy of Constructive Type Theory |
| 编辑 | Giovanni Sommaruga |
| 视频video | |
| 丛书名称 | Synthese Library |
| 图书封面 |  |
| 描述 | A comprehensive survey of Martin-Löf‘s constructive typetheory, considerable parts of which have only been presented byMartin-Löf in lecture form or as part of conference talks.Sommaruga surveys the prehistory of type theory and its highly complexdevelopment through eight different stages from 1970 to 1995. He alsoprovides a systematic presentation of the latest version of thetheory, as offered by Martin-Löf at Leiden University in Fall1993. This presentation gives a fuller and updated account of thesystem. Earlier, brief presentations took no account of the issuesrelated to the type-theoretical approach to logic and the foundationsof mathematics, while here they are accorded an entire part of thebook. ..Readership:. Comprehensive accounts of the history and philosophyof constructive type theory and a considerable amount of relatedmaterial. Readers need a solid background in standard logic and afirst, basic acquaintance with type theory. |
| 出版日期 | Book 2000 |
| 关键词 | foundation; history; history of literature; issue; logic; mathematics; philosophy; prehistory; present |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-94-015-9393-9 |
| isbn_softcover | 978-90-481-5403-6 |
| isbn_ebook | 978-94-015-9393-9Series ISSN 0166-6991 Series E-ISSN 2542-8292 |
| issn_series | 0166-6991 |
| copyright | Springer Science+Business Media B.V. 2000 |
发表于 2025-3-21 18:09:58
