Proofs and Types pdf epub mobi txt 電子書 下載2025
出版者:Cambridge University Press
作者:Jean-Yves Girard
出品人:
頁數:192
译者:
出版時間:1989-4-28
價格:USD 49.95
裝幀:Hardcover
isbn號碼:9780521371810
叢書系列:Cambridge Tracts in Theoretical Computer Science
圖書標籤:
- 計算機科學
- PLT
- 邏輯
- 類型論
- 數學
- pl
- 語言
- 計算機
- proofs
- type
- systems
- logic
- category theory
- type theory
- formal methods
- lean
下載連結在頁面底部
具體描述
著者簡介
圖書目錄
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
文字異常簡約，直觀的理解很少，因此需要有足夠的內力纔能有所領會，我讀瞭1/2後發現修養還是缺瞭一點，迴頭再重新讀。
评分文字異常簡約，直觀的理解很少，因此需要有足夠的內力纔能有所領會，我讀瞭1/2後發現修養還是缺瞭一點，迴頭再重新讀。
评分文字異常簡約，直觀的理解很少，因此需要有足夠的內力纔能有所領會，我讀瞭1/2後發現修養還是缺瞭一點，迴頭再重新讀。
评分文字異常簡約，直觀的理解很少，因此需要有足夠的內力纔能有所領會，我讀瞭1/2後發現修養還是缺瞭一點，迴頭再重新讀。
评分文字異常簡約，直觀的理解很少，因此需要有足夠的內力纔能有所領會，我讀瞭1/2後發現修養還是缺瞭一點，迴頭再重新讀。
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有