Classical Second-Order Intensional Logic with Maximal Propositions
Charles B. Daniels and James B. Freeman
- 期刊名称Journal of Philosophical Logic
- 作者Charles B. Daniels and James B. Freeman
- 卷第6卷
- 期第1期
- 印刷ISSN0022-3611
- 电子ISSN1573-0433
- 文件大小2666.89KB
- 发表时间1977-04
- DOI10.2307/30227116
- 页码1-31