NNIL, a study in intuitionistic propositional logic

Authors
Publication date 1995
Host editors
  • M. de Rijke
  • A. Ponse
  • Y. Venema
Book title Modal Logic and process Algebra, a bisimulation perspective
Pages (from-to) 289-326
Publisher Stanford, Cal.: Center for the Study of Language and Information
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back