Refine your search
Availability
-
Authors
- Boolos, George
- Clarke, Barry R
- Damer, T. Edward
- Enderton, Herbert B
- Feferman, Solomon
- Flach, Peter A
- Gabbay, Dov M
- Gödel, Kurt
- Hardegree, Gary M
- Harel, David
- Hurley, Patrick J
- Keene, G. B
- Koslow, Arnold
- Kozen, Dexter
- Malone, Edward A
- Marcinkowski, Jerzy
- Priest, Graham
- Smith, Peter
- Van Duzer, Chet A
- Väänänen, J
- Show more
- Show less
-
Holding libraries
-
Item types
-
Topics
- Abduction (Logic)
- Algebraic logic
- Computer logic
- Conditionals (Logic)
- Decision logic table...
- Duality (Logic)
- Fallacies (Logic)
- Fuzzy logic
- Implication (Logic)
- Inconsistency (Logic...
- Induction (Logic)
- Language and logic
- Logic
- Logic - Great Britai...
- Logic circuits
- Logic design - Data ...
- Logic programming
- Logic puzzles
- Logic, Symbolic and ...
- Modality (Logic)
- Show more
- Show less