An extension of the intuitionsitic propositional calculus

• 1 January 1971
• journal article
• Published by Elsevier in Indagationes Mathematicae
• Vol. 74, 287-294
• https://doi.org/10.1016/s1385-7258(71)80036-7

Abstract