Visser, A. (2005). Propositional logics of closed and open substitutions over Heyting's arithmetic. Dep. of Philosophy, Utrecht Univ.
Chicago Style (17th ed.) CitationVisser, Albert. Propositional Logics of Closed and Open Substitutions over Heyting's Arithmetic. Utrecht: Dep. of Philosophy, Utrecht Univ, 2005.
MLA (9th ed.) CitationVisser, Albert. Propositional Logics of Closed and Open Substitutions over Heyting's Arithmetic. Dep. of Philosophy, Utrecht Univ, 2005.
Warning: These citations may not always be 100% accurate.