On the intuitionistic theory of deduction

• 1 January 1952
• journal article
• Published by Elsevier in Indagationes Mathematicae
• Vol. 55, 202-212
• https://doi.org/10.1016/s1385-7258(52)50028-3

Abstract