查詢 text:Théorie des types. ，共 2 筆
查詢再細分
-
- 語言
- 英語(2)
-
- 作者
- Fraïssé, Roland.(1)
- Kamareddine, Fairouz D.(1)
- Laan, Twan.(1)
- Nederpelt, R. P.(1)
-
- 資料類型
- 電子書(2)
-
- 主題
- MATHEMATICS(2)
- Infinity.(1)
- Logic.(1)
- Relaties (logica)(1)
- Set Theory.(1)
- Set theory.(1)
- Théorie des ensembles.(1)
- Théorie des types.(1)
- Type theory.(1)
- Typentheorie.(1)
-
34 0 0 0 0
A modern perspective on type theory :from its origins until today
- 作者: Kamareddine, Fairouz D.
- 出版: Dordrecht ;Boston : Kluwer Academic Publishers ©2004.
- 資料類型: 電子書
-
9 0 0 0 0
Theory of relations
- 作者: Fraïssé, Roland.
- 出版: Amsterdam ;New York : Elsevier 2000.
- 資料類型: 電子書