Introduction to Logic
Computational Complexity
Modal Logic
Proofs Without Words: Exercises in Visual Thinking
Bayes or Bust A Critical Examination of Bayesian Confirmation Theory
Studies in Logic and the Foundations of Mathematics. Volume 145
Formulas. Part 1
Modal logic
Provability, Complexity, Grammars
Beginning Model Theory: The Completeness Theorem and Some Consequences
Theory of Recursive Functions and Effective Computability
Encyclopedic Dictionary of Mathematics
C*-Algebras by Example
First Order Mathematical Logic
Tame Topology and O-minimal Structures
Quantum Logic
