1
0
0
0
0
A Modern Perspective on Type Theory From its Origins until Today / [electronic resource] :
- 作者: Kamareddine, Fairouz.
- 其他作者:
- 出版: Dordrecht : Springer Science+Business Media, Inc.
- 叢書名: Applied Logic Series,29
- 主題: Type theory. , Mathematics , Mathematics of Computing. , Logic , Mathematical Logic and Foundations.
- ISBN: 9781402023354 (electronic bk.) 、 9781402023347 (paper)
- FIND@SFXID: CGU
- 資料類型: 電子書
-
讀者標籤:
- 系統號: 005017538 | 機讀編目格式