Most Popular Books
- Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Second Edition
- Languages, Machines, and Classical Computation
- Logical Consequences: Theory and Applications: An Introduction
- Many-Valued Logics: A Mathematical and Computational Introduction
- Formal Logic: Classical Problems and Proofs
