Refine your search
Availability
-
Authors
- Beardsley, Monroe C.
- Bell, J. L.
- Buridan, Jean
- Burlaeus, Gualterus
- Cohen, Carl
- Copi, Irving M.
- Fitting, Melvin
- King, Robert T.
- Klaus, Georg
- Klima, Gyula
- Machover, Moshé
- McMahon, K. D.
- Mendelson, Elliott
- Miller, Max H.
- Russel, Bertrand
- Seyr, Katrin
- Spade, Paul Vincent
- Volait, Georges
- Watson, Lori
- Wittgenstein, Ludwig
- Show more
- Show less
-
Holding libraries
-
Item types
-
Locations
-
Series
- A Chapman & Hall book
- Abhandlungen zur Philosophie und ihrer Geschichte
- Graduate texts in computer science
- Lecture notes in computer science
- Prentice-Hall English composition and introduction to literature series
- Routledge Classics
- Springer series in language and communication
- Textbooks in mathematics
- Yale library of medieval philosophy
- Show more
- Show less
-
Topics
- Automatic theorem proving
- Computer logic
- Dialectiek
- Disjunction (Logic)
- Electronic books
- Inference
- Language acquisition
- Language and logic
- Logic
- Logic, Medieval
- Logic, Symbolic and mathematical
- Logica
- Logique médiévale
- Mathematische Logik
- Ordinary-language philosophy
- PHILOSOPHY
- Philosophy
- Semantics
- Show more
- Show less