A Decision Method for the Intuitionistic Theory of successor

• 1 January 1968
• journal article
• Published by Elsevier in Indagationes Mathematicae
• Vol. 71, 466-467
• https://doi.org/10.1016/s1385-7258(68)50057-x

Abstract