A Compact Representation of Proofs
- 期刊名称Studia Logica: An International Journal for Symbolic Logic
- 作者Dale A. Miller
- 卷第46卷
- 期第4期
- 印刷ISSN0039-3215
- 电子ISSN1572-8730
- 文件大小2997.94KB
- 发表时间1987
- DOI10.2307/20015330
- 页码347-370
同作者推荐
Authors’ responseJ. P. New; T. Aung; P. Baker; Y. Gao; R. Pylypczuk; J. Houghton; A. Rudenski; R. P. New; J. Hegarty; J. M. Gibson; D. J. O'Donoghue; I. E. Buchan · 2008
The Anak Krakatau questionI. W. B. Thornton; S. A. Ward; R. A. Zann; T. R. New · 1993
The Anak Krakatau QuestionI. W. B. Thornton, S. A. Ward, R. A. Zann and T. R. New · GeoJournal · 1993
A NEW SPECIES OF CALLISTOLEON BANKS (NEUROPTERA: MYRMELEONTIDAE)T. R. New; T. Matsura · 1993
Further comments on the Anak Krakatau questionI. W. B. Thornton; S. A. Ward; R. A. Zann; T. R. New · 1994
Book Review: 3T. R. New · 2002
EditorialT. R. New · 2006
Piotr Naskrecki, The Smaller MajorityT. R. New · 2006