Logic Logic
2004년
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년