Document
Generically Dependent Continuant
Article
Information Content Entity
Conference Paper
A New Approach to Clausification for Intuitionistic Propositional Logic
RDF description of A New Approach to Clausification for Intuitionistic Propositional Logic - http://irises.uninsubria.it/resource/item/202570