Logic-free formalisations of recursive arithmetic

Authors

  • R. L. Goodstein

DOI:

https://doi.org/10.7146/math.scand.a-10412

Downloads

Published

1954-12-01

Issue

Vol. 2 (1954)

Section

Articles

How to Cite

[1]
R. L. Goodstein, “Logic-free formalisations of recursive arithmetic”, Math. Scand., vol. 2, pp. 246–260, Dec. 1954, doi: 10.7146/math.scand.a-10412.