查詢 ext:Proposition (Logic ，共 15 筆
查詢再細分
-
- 主題
- Logic.(8)
- PHILOSOPHY(5)
- Proposition (Logic)(5)
- Philosophy.(4)
- Logic, Symbolic and mathematical.(3)
- Infinity.(2)
- MATHEMATICS(2)
- Propositional calculus.(2)
- Algorithme.(1)
- Algorithmes(1)
- More
-
- 館別
- 總圖(5)
-
-
4 0 0 0 0
Proposiciones categóricas.
- 作者: Colegio 24 hs.
- 出版: [Place of publication not identified] : Colegio 24 hs. [2005?].
- 資料類型: 電子書
-
35 0 0 0 0
Russell's hidden substitutional theory
- 作者: Landini, Gregory.
- 出版: New York : Oxford University Press 1998.
- 資料類型: 電子書
-
75 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?].
- 資料類型: 電子書
-
10 0 0 0 0
Lógica proposicional.
- 作者: Colegio 24 hs.
- 出版: [Place of publication not identified] : Colegio 24 hs. [2005?].
- 資料類型: 電子書
-
26 0 0 0 0
Possible worlds :an introduction to logic and its philosophy
- 作者: Bradley, Raymond.
- 出版: Indianapolis : Hackett Pub. Co. c1979.
- 資料類型: 圖書
-
15 0 0 0 0
Theory and applications of satisfiability testing :6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers
- 作者: Giunchiglia, Enrico.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
22 0 0 0 0
Studies on the history of logic and semantics, 12th-17th centuries
- 作者: Nuchelmans, Gabriel.
- 出版: Aldershot, Great Britain ;Brookfield, Vt., USA : Variorum 1996.
- 資料類型: 圖書
-
33 0 0 0 0
A modern perspective on type theory :from its origins until today
- 作者: Kamareddine, Fairouz D.
- 出版: Dordrecht ;Boston : Kluwer Academic Publishers ©2004.
- 資料類型: 電子書
-
12 0 0 0 0
Vagueness :a reader
- 作者: Keefe, Rosanna.
- 出版: Cambridge, Mass. : MIT Press ©1996.
- 資料類型: 電子書