查詢 sb:Logic, Symbolic AND mathematical ,共 39 筆
查詢再細分
-
- 作者
- 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.(38)
- 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)
-
-
-
70 0 0 0 0
Introduction to mathematical logic
- 作者: Mendelson, Elliott.
- 出版: Princeton, N.J. : Van Nostrand [1964]
- 資料類型: 圖書
-
30 0 0 0 0
Mathematical logic in the 20th century
- 作者: Sacks, Gerald E.
- 出版: Singapore :River Edge, N.J. : Singapore University Press ;World Scientific ©2003.
- 資料類型: 電子書
-
109 0 0 0 0
Introduction to symbolic logic
- 作者: Pollock, John L.
- 出版: New York, : Holt, Rinehart and Winston c1969.
- 資料類型: 圖書
-
77 0 0 0 0
Derivation and counterexample :an introduction to philosophical logic
- 作者: Lambert, Karel,
- 出版: Encino, Calif. : Dickenson Pub. Co. 1972.
- 資料類型: 圖書
-
32 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?].
- 資料類型: 電子書
-
17 0 0 0 0
Lectures in logic and set theory.Vol. 1,Mathematical logic
- 作者: Tourlakis, George J.
- 出版: Cambridge : Cambridge University Press ©2003.
- 資料類型: 電子書
-
64 0 0 0 0
Asignación de valores en las proposiciones atómicas y moleculares.
- 作者: Colegio 24 hs.
- 出版: [Place of publication not identified] : Colegio 24 hs. [2005?].
- 資料類型: 電子書