4
0
0
0
0
Proof, computation and agency logic at the crossroads / [electronic resource] :
- 其他作者:
- 出版: Dordrecht : Springer Science+Business Media B.V.
- 叢書名: Synthese libraryv.352
- 主題: Logic--Congresses. , Philosophy , Logic , Mathematical Logic and Foundations. , Mathematical Logic and Formal Languages. , Non-Western Philosophy.
- ISBN: 9789400700802 (electronic bk.) 、 9789400700796 (paper)
- FIND@SFXID: CGU
- 資料類型: 電子書
-
讀者標籤:
- 系統號: 005069677 | 機讀編目格式