Independence problems in subsystems of intuitionistic arithmetic

• 1 January 1971
• journal article
• Published by Elsevier in Indagationes Mathematicae
• Vol. 74, 448-456
• https://doi.org/10.1016/s1385-7258(71)80052-5

Abstract