查詢 text:Logique mathématique. ，共 18 筆
查詢再細分
-
- 語言
- 英語(18)
-
- 作者
- Gabbay, Dov M.,(2)
- Abramsky, Samson,(1)
- Bacchus, Fahiem.(1)
- Baier, Christel,(1)
- Berghammer, R.(1)
- Boolos, George.(1)
- Burgess, John P.,(1)
- Buzaglo, Meir,(1)
- Causey, Robert L.(1)
- Grattan-Guinness, I.(1)
-
- 資料類型
- 電子書(18)
-
7 0 0 0 0The logic of concept expansion
- 作者: Buzaglo, Meir,
- 出版: Cambridge ;New York : Cambridge University Press 2002.
- 資料類型: 電子書
-
7 0 0 0 0
Essentials of symbolic logic
- 作者: Simpson, R. L.,
- 出版: Peterborough, Ontario ;Orchard Park, N.Y. : Broadview Press ©1999.
- 資料類型: 電子書
-
8 0 0 0 0
The Oxford Handbook of Philosophy of Mathematics and Logic
- 作者: Shapiro, Stewart,
- 出版: Oxford ;New York : Oxford University Press 2005.
- 資料類型: 電子書
-
14 0 0 0 0
Paradox and paraconsistency :conflict resolution in the abstract sciences
- 作者: Woods, John
- 出版: Cambridge, U.K. ;New York : Cambridge University Press 2003.
- 資料類型: 電子書
-
4 0 0 0 0
Sets for mathematics
- 作者: Lawvere, F. W.
- 出版: Cambridge, UK ;New York : Cambridge University Press 2003.
- 資料類型: 電子書
-
6 0 0 0 0
Logic, sets, and recursion
- 作者: Causey, Robert L.
- 出版: Boston : Jones and Bartlett ©1994.
- 資料類型: 電子書
-
10 0 0 0 0
Handbook of logic in artificial intelligence and logic programming.Volume 5,Logic programming
- 作者: Gabbay, Dov M.,
- 出版: Oxford :Oxford ;New York : Clarendon Press ;Oxford University Press 1998.
- 資料類型: 電子書
-
11 0 0 0 0
Computability and logic.
- 作者: Boolos, George.
- 出版: Cambridge ;New York : Cambridge University Press 2002.
- 資料類型: 電子書
-
128 0 0 0 0
Logic versus approximation :essays dedicated to Michael M. Richter on the occasion of his 65th birthday
- 作者: Lenski, Wolfgang,
- 出版: Berlin : Springer-Verlag ©2004.
- 資料類型: 電子書
-
10 0 0 0 0
Temporal logic :from ancient ideas to artificial intelligence
- 作者: Øhrstrøm, Peter.
- 出版: Dordrecht ;Boston : Kluwer Academic Publishers ©1995.
- 資料類型: 電子書