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

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

Extendible Formulas in Two Variables in Intuitionistic Logic

Extendible Formulas in Two Variables in Intuitionistic Logic

Nick Bezhanishvili, Dick de Jongh
  • 作者Nick Bezhanishvili, Dick de Jongh
  • 卷第100卷
  • 印刷ISSN0039-3215
  • 电子ISSN1572-8730
  • 文件大小286.54KB
  • 发表时间2012-04
  • DOI10.1007/s11225-012-9389-8
  • 页码61-89
← 返回【学霸图书馆】主页