Continuous Lattices and Domains: 93 (Encyclopedia of Mathematics and its Applications, Series Number 93)
The Description Logic Handbook: Theory, Implementation and Applications
Spectral Generalizations of Line Graphs: On Graphs with Least Eigenvalue -2: 314 (London Mathematical Society Lecture Note Series, Series Number 314)
Elements of Logical Reasoning
Complexity Classifications of Boolean Constraint Satisfaction Problems
Logic and Philosophy of Science in Uppsala: Papers from the 9th International Congress of Logic, Methodology and Philosophy of Science (Synthese Library)
Burden of Proof, Presumption and Argumentation
