The Pre-Platonic Philosophers
- 期刊名称The Classical Review (New Series)
- 作者Review by: D. N. R. Evans Jr.
- 卷第54卷
- 期第2期
- 印刷ISSN0009-840X
- 电子ISSN1464-3561
- 文件大小189.33KB
- 发表时间2004-10
- DOI10.2307/3661632
- 页码291-292
Notation Systems for Infinitary Derivationsby Wilfried Buchholz;Explaining Gentzen's Consistency Proof within Infinitary Proof Theoryby Wilfried Buchholz;Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinalsby Sergei TupailoReview by: Toshiyasu Arai, Toshiyasu Arai and Toshiyasu Arai · The Bulletin of Symbolic Logic · 2002
Realizabilityby A. S. TroelstraReview by: Toshiyasu Arai · The Bulletin of Symbolic Logic · 2000
[untitled]Review by: Toshiyasu Arai · The Bulletin of Symbolic Logic · 2003
Prefaceby Sam BussReview by: Toshiyasu Arai · The Bulletin of Symbolic Logic · 2000
An Introduction to Proof Theoryby Samuel R. BussReview by: Toshiyasu Arai · The Bulletin of Symbolic Logic · 2000
The Logic of Provabilityby Giorgi Japaridze; Dick de JonghReview by: Toshiyasu Arai · The Bulletin of Symbolic Logic · 2000
Types in Logic, Mathematics and Programmingby Robert L. ConstableReview by: Toshiyasu Arai · The Bulletin of Symbolic Logic · 2000
Hilbert's Programs: 1917-1922Wilfried Sieg · The Bulletin of Symbolic Logic · 1999
Explicit Provability and Constructive SemanticsSergei N. Artemov · The Bulletin of Symbolic Logic · 2001
Foundations and Applications: Axiomatization and EducationF. William Lawvere · The Bulletin of Symbolic Logic · 2003
Developments in Constructive Nonstandard AnalysisErik Palmgren · The Bulletin of Symbolic Logic · 1998
The Discovery of My Completeness ProofsLeon Henkin · The Bulletin of Symbolic Logic · 1996
THE HYPERUNIVERSE PROGRAMTATIANA ARRIGONI and SY-DAVID FRIEDMAN · The Bulletin of Symbolic Logic · 2013
Logical Consequence RevisitedJosé M. Sagüillo · The Bulletin of Symbolic Logic · 1997
Logicality and InvarianceDenis Bonnay · The Bulletin of Symbolic Logic · 2008