Logical Methods Logical Methods
2023
An Introduction to Substructural Logics An Introduction to Substructural Logics
2002
Logic Logic
2004