An Introduction to Formal Logic
An Introduction to Godel's Theorems (Cambridge Introductions to Philosophy)
An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems
Computability and Logic
Formal Languages in Logic: A Philosophical and Cognitive Analysis
Practical Rules: When We Need Them and When We Don't (Cambridge Studies in Philosophy)
Reasoning with Actual and Potential Contradictions: Reasoning with Actual and Potential Contradictions v. 2 (Handbook of Defeasible Reasoning and Uncertainty Management Systems)
Reasoning: Studies of Human Inference and Its Foundations
The Logic of Real Arguments
The Mundane Matter of the Mental Language (Cambridge Studies in Philosophy)
