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

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

The Epsilon Calculus and Herbrand Complexity

The Epsilon Calculus and Herbrand Complexity

Georg Moser; Richard Zach
  • 期刊名称Studia Logica
  • 作者Georg Moser; Richard Zach
  • 卷第82卷
  • 期第1期
  • 印刷ISSN0039-3215
  • 电子ISSN1572-8730
  • 文件大小321.18KB
  • 发表时间2006-02
  • DOI10.1007/s11225-006-6610-7
  • 页码133-155
← 返回【学霸图书馆】主页