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

著者

• Goodstein, R. L. (Reuben Louis)

書誌事項

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

注記

Bibliography: p. 188

• NII書誌ID(NCID): BA29862611
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam
• ページ数/冊数: xii, 190 p.
• 大きさ: 22 cm
• 分類:
  • LCC : QA248.5
• 件名:
  • LCSH : Recursion theory
  • LCSH : Arithmetic -- Foundations
  • LCSH : Number theory
• 親書誌ID:
  • BA00099329