查詢 text:Logique symbolique et mathématique ，共 15 筆
-
7 0 0 0 0Essentials of symbolic logic
- 作者: Simpson, R. L.,
- 出版: Peterborough, Ontario ;Orchard Park, N.Y. : Broadview Press ©1999.
- 資料類型: 電子書
-
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.
- 資料類型: 電子書
-
5 0 0 0 0
Logic, sets, and recursion
- 作者: Causey, Robert L.
- 出版: Boston : Jones and Bartlett ©1994.
- 資料類型: 電子書
-
8 0 0 0 0
The Oxford Handbook of Philosophy of Mathematics and Logic
- 作者: Shapiro, Stewart,
- 出版: Oxford ;New York : Oxford University Press 2005.
- 資料類型: 電子書
-
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
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.
- 資料類型: 電子書
-
9 0 0 0 0
Representing and reasoning with probabilistic knowledge :a logical approach to probabilities
- 作者: Bacchus, Fahiem.
- 出版: Cambridge, Mass. : MIT Press ©1990.
- 資料類型: 電子書
-
9 0 0 0 0
The logic of knowledge bases
- 作者: Levesque, Hector J.,
- 出版: Cambridge, Mass. : MIT Press ©2000.
- 資料類型: 電子書