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