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

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

Gentzen-like systems for partial propositional calculi. I.

Gentzen-like systems for partial propositional calculi. I.

Chapin, E. William
  • 期刊名称Notre Dame Journal of Formal Logic
  • 作者Chapin, E. William
  • 卷第12卷
  • 期第1期
  • 印刷ISSN0029-4527
  • 文件大小629.76KB
  • 发表时间1971-01
  • DOI10.1305/ndjfl/1093894153
  • 页码75-80
← 返回【学霸图书馆】主页