An Introduction to Godel's Theorems (Cambridge Introductions to Philosophy)
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
