Logical Methods Logical Methods
2023
An Introduction to Substructural Logics An Introduction to Substructural Logics
2002
Proofs and Models in Philosophical Logic Proofs and Models in Philosophical Logic
2022