A(nother) characterization of intuitionistic propositional logic.

Authors
Publication date 2001
Journal Annals of Pure and Applied Logic
Volume | Issue number 113 | 1-3
Pages (from-to) 161-173
Number of pages 13
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Permalink to this page
Back