Skip to main content Skip to main navigation menu Skip to site footer
Mathematica Scandinavica
  • Current
  • Archives
  • Announcements
  • About
    • About the journal
    • Ethics and policies
    • Peer-review process
    • Submissions
    • Editorial board
    • Subscriptions
    • Privacy policy
    • Contacts
Search
  • Login
  1. Home /
  2. Archives /
  3. Vol. 2 (1954) /
  4. Articles

Logic-free formalisations of recursive arithmetic

Authors

  • R. L. Goodstein

DOI:

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

Downloads

  • PDF

Published

1954-12-01

Issue

Vol. 2 (1954)

Section

Articles

Mathematica Scandinavica

Published by MSP
Managed by EditFlow
Recommend MSP journals

ISSN 1903-1807 (online)
ISSN 0025-5521 (print)
Platform by OJS / PKP

MSP (Mathematical Sciences Publishers) logo
More information about the publishing system, Platform and Workflow by OJS/PKP.