Essays on non-classical logic /
Three Views of Logic : Mathematics, Philosophy, and Computer Science.
Classical mathematical logic : the semantic foundations of logic /
Foundations without foundationalism : a case for second-order logic /
Graph structure and monadic second-order logic : a language-theoretic approach /
Advances in linear logic /
Fuzzy logic for beginners /
Logic Colloquium 2007 /
Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory /
Weaving self-evidence : a sociology of logic /
Diamond : a paradox logic /
The origin of the logic of symbolic mathematics : Edmund Husserl and Jacob Klein /
The future of post-human mathematical logic /
Analysis and logic /
Conditional and preferential logics : proof methods and theorem proving /
Constructibility and mathematical existence /
The foundations of mathematics /
Formalism and beyond : on the nature of mathematical discourse /
Intermediate logic /
An introduction to non-classical logic : from if to is /
Nonclassical and inverse problems for pseudoparabolic equations /
Infinity and truth /
Purity, spectra and localisation /
Grammatical inference : learning automata and grammars /
Handbook of logic in computer science.
The arrow and the point : Russell and Wittgenstein's Tractatus /
Coding the universe /
Set theory and its logic /
The logic of knowledge bases /
Frege : importance and legacy /
Phenomenology, logic, and the philosophy of mathematics /
Tractatus logico-philosophicus /
Logisch-philosophische Abhandlung Der Tractatus in Baumform.
Principles of truth /
Advances in logic, artificial intelligence, and robotics : LAPTEC 2002 /
Mathematical logic /
Capitalism--its Nature and its Replacement
In contradiction : a study of the transconsistent /