Refine your search
Availability
-
Authors
- Barendregt H P
- Barwise Jon Ed
- Cenzer, Douglas
- Cenzer Douglas Et Al
- Douglas Cenzer
- Eugenio G. Omodeo, Alberto Policriti
- Feys R
- Feys Robert Ed
- Fitch F B
- Fitch Frederic B Ed
- Gabbay
- Gabbay Dov M Ed
- Kneebone G T
- Kneebone G.T.
- Kreisel G
- Krivine J L
- Li, Wei
- Menger Karl
- Ramsey, Frank Plumpton
- Schlechta Karl
- Show more
- Show less
-
Item types
-
Series
- Cognitive technologies
- Studies in logic and the foundations of mathematical
- Studies in logic and the foundations of mathematics
- Studies in logic and the foundations of mathematics ed by A Heyting
- Studies in logic and the foundations of mathematics ed by A Heyting,etc
- Studies in logic and the foundations of mathematics ed by L E J Brouwer
- Vienna Circle Collection; 10
- Show more
- Show less
-
Topics
- Artificial intelligence
- Boolean algebra
- Computability
- Computer Science
- Formal inference systems
- Godel theorems
- Inductive inference
- Logic symbolic and mathematical
- Logic, Symbolic and mathematical
- Mathematical logic
- Mathematical logic and formal lanaguages
- Mathematical logic and foundations
- Mathematics
- Mathematics philosophy
- Nonmonotonic reasoning
- PHILOSOPHY
- Propositional logic
- Show more
- Show less
-
Holding libraries
-
Home libraries
-
Languages
