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

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

On the Extension of the Intuitionist Propositional Calculus to the Classical Calculus, and the Minimal Calculus to the Intuitionist Calculus.by V. A. Jankov

On the Extension of the Intuitionist Propositional Calculus to the Classical Calculus, and the Minimal Calculus to the Intuitionist Calculus.by V. A. Jankov

Review by: J. G. Anderson
  • 期刊名称The Journal of Symbolic Logic
  • 作者Review by: J. G. Anderson
  • 卷第38卷
  • 期第2期
  • 印刷ISSN0022-4812
  • 文件大小128.38KB
  • 发表时间1973-06
  • DOI10.2307/2272086
  • 页码331-332
← 返回【学霸图书馆】主页