查詢 sb:MATHEMATICS Logic. ,共 85 筆
查詢再細分
-
- 作者
- Colegio 24 hs.(3)
- Wittgenstein, Ludwig,(3)
- Basin, David.(2)
- Gabbay, Dov M.,(2)
- LINK (Online service)(2)
- Abe, Jair Minoro.(1)
- Abramsky, Samson,(1)
- Antoniou, G.(1)
- Astola, Jaakko.(1)
- Bacchus, Fahiem.(1)
- More
-
- 主題
- MATHEMATICS(43)
- Logic, Symbolic and mathematical.(38)
- Logic.(33)
- Infinity.(26)
- COMPUTERS(11)
- Logique symbolique et mathématique.(11)
- Philosophy.(11)
- Logic, Symbolic and mathematical(8)
- Mathematics.(8)
- Probabilities.(7)
- More
-
- 館別
- 總圖(14)
-
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.
- 資料類型: 電子書
-
-
-
70 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.
- 資料類型: 圖書
-
76 0 0 0 0
Derivation and counterexample :an introduction to philosophical logic
- 作者: Lambert, Karel,
- 出版: Encino, Calif. : Dickenson Pub. Co. 1972.
- 資料類型: 圖書
-
65 0 0 0 0
Elementary logic
- 作者: Mates, Benson,
- 出版: [New York : Oxford University Press 1972].
- 資料類型: 圖書
-
17 0 0 0 0
Lectures in logic and set theory.Vol. 1,Mathematical logic
- 作者: Tourlakis, George J.
- 出版: Cambridge : Cambridge University Press ©2003.
- 資料類型: 電子書
-
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?].
- 資料類型: 電子書