Inventory of fragments and exact models in intuitionistic propositional logic
type: ProductModel
type: Book
type: CreativeWork
issued: 1993
about: p075665506
author: p099870622
author: p073908576
language: en
is part of: p09719218X
main entity of page: https://data.bibliotheken.nl/.well-known/genid/4ef25433172068eb96953941d8b5c4dc
number of pages: 63
label: Inventory of fragments and exact models in intuitionistic propositional logic / Lex Hendriks