Decidability and finite model property of substructural logics / Hiroakira Ono
type: CreativeWork
type: Book
type: ProductModel
description: Titelp. vermeldt abusievelijk: Computation and complexity theory (CT) series
is part of: p119337983
main entity of page: https://data.bibliotheken.nl/.well-known/genid/85b57dfdeaa99a2f274654d3cee44d95
name: Decidability and finite model property of substructural logics
about: p075665506
author: p099870622
author: p147545722
language: en
number of pages: 12
issued: 1995