发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

A Decidable Fragment of Recursive Arithmetic

A Decidable Fragment of Recursive Arithmetic

R. L. Goodstein
  • 作者R. L. Goodstein
  • 卷第9卷
  • 印刷ISSN0942-5616
  • 电子ISSN1521-3870
  • 文件大小127.04KB
  • 发表时间1963
  • DOI10.1002/malq.19630091203
  • 页码199-201
← 返回【学霸图书馆】主页