Propositional logics of closed and open substitutions over Heyting Arithmetic

Research output: Contribution to journalArticleAcademicpeer-review

Original languageUndefined/Unknown
Pages (from-to)299-309
Number of pages11
JournalNotre Dame Journal of Formal Logic
Volume47
Issue number6
Publication statusPublished - 2006

Cite this