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