Squares in Fork Arrow Logic
Renata P. de Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso and Paulo A. S. Veloso
- 期刊名称Journal of Philosophical Logic
- 作者Renata P. de Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso and Paulo A. S. Veloso
- 卷第32卷
- 期第4期
- 印刷ISSN0022-3611
- 电子ISSN1573-0433
- 文件大小1305.69KB
- 发表时间2003-08
- DOI10.2307/30227272
- 页码343-355