查詢 Logic, Symbolic AND mathematical. ，共 40 筆
查詢再細分
-
- 作者
- Colegio 24 hs.(3)
- Wittgenstein, Ludwig,(3)
- Gabbay, Dov M.,(2)
- Abe, Jair Minoro.(1)
- Abramsky, Samson,(1)
- Bacchus, Fahiem.(1)
- Basin, David.(1)
- Boolos, George.(1)
- Bundy, Alan.(1)
- Burgess, John P.,(1)
- More
-
- 主題
- Logic, Symbolic and mathematical.(39)
- Logic.(13)
- MATHEMATICS(13)
- Logique symbolique et mathématique.(11)
- Logic, Symbolic and mathematical(8)
- Infinity.(7)
- Philosophy.(7)
- COMPUTERS(6)
- PHILOSOPHY(5)
- Language and languages(4)
- More
-
- 館別
- 總圖(12)
-
-
-
72 0 0 0 0
Introduction to mathematical logic
- 作者: Mendelson, Elliott.
- 出版: Princeton, N.J. : Van Nostrand [1964]
- 資料類型: 圖書
-
109 0 0 0 0
Introduction to symbolic logic
- 作者: Pollock, John L.
- 出版: New York, : Holt, Rinehart and Winston c1969.
- 資料類型: 圖書
-
31 0 0 0 0
Mathematical logic in the 20th century
- 作者: Sacks, Gerald E.
- 出版: Singapore :River Edge, N.J. : Singapore University Press ;World Scientific ©2003.
- 資料類型: 電子書
-
35 0 0 0 0
Russell's hidden substitutional theory
- 作者: Landini, Gregory.
- 出版: New York : Oxford University Press 1998.
- 資料類型: 電子書
-
9 0 0 0 0
La definición.
- 作者: Colegio 24 hs.
- 出版: [Place of publication not identified] : Colegio 24 hs. [2005?].
- 資料類型: 電子書
-
7 0 0 0 0
Essentials of symbolic logic
- 作者: Simpson, R. L.,
- 出版: Peterborough, Ontario ;Orchard Park, N.Y. : Broadview Press ©1999.
- 資料類型: 電子書
-
18 0 0 0 0
Lectures in logic and set theory.Vol. 1,Mathematical logic
- 作者: Tourlakis, George J.
- 出版: Cambridge : Cambridge University Press ©2003.
- 資料類型: 電子書
-
79 0 0 0 0
Derivation and counterexample :an introduction to philosophical logic
- 作者: Lambert, Karel,
- 出版: Encino, Calif. : Dickenson Pub. Co. 1972.
- 資料類型: 圖書