Giles's Game and the Proof Theory of Łukasiewicz Logic
Christian G. Fermüller and George Metcalfe
- 期刊名称Studia Logica: An International Journal for Symbolic Logic
- 作者Christian G. Fermüller and George Metcalfe
- 卷第92卷
- 期第1期
- 印刷ISSN0039-3215
- 电子ISSN1572-8730
- 文件大小3400.84KB
- 发表时间2009-06
- DOI10.2307/40269050
- 页码27-61