Most Popular Books
- Proof Theory: Sequent Calculi and Related Formalisms
- Combinatory Logic: Pure, Applied and Typed
- Mathematical Logic
- Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi (Center for the Study of Language and Information - Lecture Notes)
- Relevance Logics and other Tools for Reasoning. Essays in Honor of J. Michael Dunn
