The decidability of dependency in intuitionistic propositional logic

Open Access
Authors
Publication date 1995
Journal Journal of Symbolic Logic
Volume | Issue number 60 | 2
Pages (from-to) 498-504
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Published at
https://doi.org/10.2307/2275844 (Final published version)
Downloads
Permalink to this page
Back