Aggregation Functions (Encyclopedia of Mathematics and its Applications)
Burden of Proof, Presumption and Argumentation
Complexity Classifications of Boolean Constraint Satisfaction Problems
Elements of Logical Reasoning
Interpreting Gödel: Critical Essays
Lambda Calculus with Types (Perspectives in Logic)
Reasoning with Actual and Potential Contradictions: Reasoning with Actual and Potential Contradictions v. 2 (Handbook of Defeasible Reasoning and Uncertainty Management Systems)
Why Is There Philosophy of Mathematics At All?