Decidability and finite model property of substructural logics / Hiroakira Ono
Titelp. vermeldt abusievelijk: Computation and complexity theory (CT) series
Decidability and finite model property of substructural logics