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

How to Cite

Goodstein, R. L. (1954). Logic-free formalisations of recursive arithmetic. MATHEMATICA SCANDINAVICA, 2, 246–260. https://doi.org/10.7146/math.scand.a-10412

Issue

Vol. 2 (1954)

Section

Articles