Partis MT. Commutative Partially Ordered Recursive Arithmetics. Math. Scand. [Internet]. 1963 Dec. 1 [cited 2026 Feb. 4];13:199-216. Available from: https://www.mscand.dk/article/view/10699