Vuckovic V. Partially Ordered Recursive Arithmetics. Math. Scand. [Internet]. 1959 Dec. 1 [cited 2024 Nov. 24];7:305-20. Available from: https://www.mscand.dk/article/view/10576