Kurt Gödel. Essays for his centennialby Solomon Feferman; Charles Parsons; Stephen G. Simpson
- 期刊名称The Bulletin of Symbolic Logic
- 作者Review by: Matthias Wille
- 卷第17卷
- 期第1期
- 印刷ISSN1079-8986
- 文件大小345.62KB
- 发表时间2011-03
- DOI10.2307/41203144
- 页码125-126
[untitled]Review by: Matthias Wille · The Bulletin of Symbolic Logic · 2006
[untitled]Review by: Matthias Wille · The Bulletin of Symbolic Logic · 2004
Frege on indirect proof. History and Philosophy of Logic, vol. 32by Ivan WeltyReview by: Matthias Wille · The Bulletin of Symbolic Logic · 2012
Henry M. Sheffer and notational relativity. History and Philosophy of Logic, vol. 33by Alasdair UrquhartReview by: Matthias Wille · The Bulletin of Symbolic Logic · 2012
Begriff und Gegenstand. Eine historische und systematische Studie zur Entwicklung von Gottlob Freges Denkenby Wolfgang KienzlerReview by: Matthias Wille · The Bulletin of Symbolic Logic · 2010
Logic and mathematics in the seventeenth century. History and Philosophy of Logic, vol. 31by Massimo MugnaiReview by: Matthias Wille · The Bulletin of Symbolic Logic · 2011
On translating Frege's die Grundlagen der Arithmetik. History and Philosophy of Logic, vol. 31by Matthias SchirnReview by: Matthias Wille · The Bulletin of Symbolic Logic · 2010
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