Document
Forward proof-search and countermodel construction in intuitionistic propositional logic
Generically Dependent Continuant
Article
Information Content Entity
Conference Paper
RDF description of Forward proof-search and countermodel construction in intuitionistic propositional logic - http://irises.uninsubria.it/resource/item/126764