The Cambridge Companion to Herodotus || Herodotus and Greek religion
- 作者Dewald, Carolyn; Marincola, John
- 期第13期
- 文件大小152.79KB
- 发表时间2006
- DOI10.1017/CCOL052183001X.014
- 页码192-208
同作者推荐
Basic Proof Theory || PrefaceTroelstra, A. S.; Schwichtenberg, H. · 2000
Basic Proof Theory || IntroductionTroelstra, A. S.; Schwichtenberg, H. · 2000
Basic Proof Theory || Gentzen systemsTroelstra, A. S.; Schwichtenberg, H. · 2000
Basic Proof Theory || Bounds and permutationsTroelstra, A. S.; Schwichtenberg, H. · 2000
Basic Proof Theory || Cut elimination with applicationsTroelstra, A. S.; Schwichtenberg, H. · 2000
Basic Proof Theory || Normalization for natural deductionTroelstra, A. S.; Schwichtenberg, H. · 2000
Basic Proof Theory || N-systems and H-systemsTroelstra, A. S.; Schwichtenberg, H. · 2000