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

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

Herbrand strategies and the “greater deducibility” relation

Herbrand strategies and the “greater deducibility” relation

S. Yu. Maslov; S. A. Norgela
  • 期刊名称Journal of Mathematical Sciences
  • 作者S. Yu. Maslov; S. A. Norgela
  • 卷第15卷
  • 期第1期
  • 印刷ISSN1072-3374
  • 电子ISSN1573-8795
  • 文件大小630.12KB
  • 发表时间1981-01-1
  • DOI10.1007/bf01404105
  • 页码28-33
← 返回【学霸图书馆】主页