Propositional logics of closed and open substitutions over Heyting Arithmetic

Research output: Contribution to journal › Article › Academic › peer-review

Original language	Undefined/Unknown
Pages (from-to)	299-309
Number of pages	11
Journal	Notre Dame Journal of Formal Logic
Volume	47
Issue number	6
Publication status	Published - 2006

Cite this

@article{a4babfb0b7b248ea9cc9b729d99a515c,

title = "Propositional logics of closed and open substitutions over Heyting Arithmetic",

author = "A. Visser",

year = "2006",

language = "Undefined/Unknown",

volume = "47",

pages = "299--309",

journal = "Notre Dame Journal of Formal Logic",

issn = "0029-4527",

publisher = "Duke University Press",

number = "6",

}