Aggregation Functions (Encyclopedia of Mathematics and its Applications)
Burden of Proof, Presumption and Argumentation
Categories for Types
Complexity Classifications of Boolean Constraint Satisfaction Problems
Continuous Lattices and Domains: 93 (Encyclopedia of Mathematics and its Applications, Series Number 93)
Elements of Logical Reasoning
Interpreting Gödel: Critical Essays
Lambda Calculus with Types (Perspectives in Logic)
Proofs and Computations (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)
Spectral Generalizations of Line Graphs: On Graphs with Least Eigenvalue -2: 314 (London Mathematical Society Lecture Note Series, Series Number 314)
Why Is There Philosophy of Mathematics At All?
