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

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

On Kleene's Recursive Realizability as an Interpretation for Intuitionistic Elementary Number Theoryby Robert R. Tompkins

On Kleene's Recursive Realizability as an Interpretation for Intuitionistic Elementary Number Theoryby Robert R. Tompkins

Review by: R. E. Vesley
  • 期刊名称The Journal of Symbolic Logic
  • 作者Review by: R. E. Vesley
  • 卷第35卷
  • 期第3期
  • 印刷ISSN0022-4812
  • 文件大小228.12KB
  • 发表时间1970-09
  • DOI10.2307/2270744
← 返回【学霸图书馆】主页