Cold War International History Project Bulletinby James G. Hershberg
- 期刊名称Jahrbücher für Geschichte Osteuropas (Neue Folge)
- 作者Review by: St. T.
- 卷第41卷
- 印刷ISSN0021-4019
- 文件大小227.98KB
- 发表时间1993-1
- DOI10.2307/41048994
[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
Kurt Gödel. Essays for his centennialby Solomon Feferman; Charles Parsons; Stephen G. SimpsonReview by: Matthias Wille · The Bulletin of Symbolic Logic · 2011
Henry M. Sheffer and notational relativity. History and Philosophy of Logic, vol. 33by Alasdair UrquhartReview by: Matthias Wille · The Bulletin of Symbolic Logic · 2012
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