| 書目名稱 | History and Philosophy of Constructive Type Theory |
| 編輯 | Giovanni Sommaruga |
| 視頻video | http://file.papertrans.cn/428/427507/427507.mp4 |
| 叢書名稱 | 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 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-8 22:40
發(fā)表于 2025-3-21 18:09:58
