Aggregation Functions (Encyclopedia of Mathematics and its Applications)
Burden of Proof, Presumption and Argumentation
Categories for Types
Complexity Classifications of Boolean Constraint Satisfaction Problems
Computational Logic and Human Thinking: How to be Artificially Intelligent
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)
Logic and Philosophy of Science in Uppsala: Papers from the 9th International Congress of Logic, Methodology and Philosophy of Science (Synthese Library)
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)
The Description Logic Handbook: Theory, Implementation and Applications
Why Is There Philosophy of Mathematics At All?
