Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus

Author(s)

• Goodstein, R. L. (Reuben Louis)

Bibliographic Information

Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus

by R. L. Goodstein

（Studies in logic and the foundations of mathematics）

North-Holland Pub. Co., 1964

Note

Bibliography: p. 188

Details

• NCID: BA29862611
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam
• Pages/Volumes: xii, 190 p.
• Size: 22 cm
• Classification:
  • LCC : QA248.5
• Subject Headings:
  • LCSH : Recursion theory
  • LCSH : Arithmetic -- Foundations
  • LCSH : Number theory
• Parent Bibliography ID:
  • BA00099329