Classical linear logics with mix separation principle
- 作者Norihiro Kamide
- 卷第49卷
- 期第2期
- 印刷ISSN0942-5616
- 电子ISSN1521-3870
- 文件大小142.29KB
- 发表时间2003
- DOI10.1002/malq.200310019
- 页码201-209
同作者推荐
Making the Hyperreal Line Both Saturated and CompleteKeisler, H. Jerome; Schmerl, James H. · The Journal of Symbolic Logic · 1991
Graph Coloring and Reverse MathematicsJames H. Schmerl · 2000
Closed Normal SubgroupsJames H. Schmerl · 2001
Moving Intersticial GapsJames H. Schmerl · 2002
Remarks on Self-Extending ModelsJames H. Schmerl · 1976
Extending models of arithmeticJames H. Schmerl · 1978
Tiling space with notched cubesJames H. Schmerl · 1994