ARRÊT SUR IMAGES: Photographie et anthropologie
- 期刊名称Ethnologie française (nouvelle serie)
- 作者Claude Rochette
- 卷第37卷
- 期第1期
- 印刷ISSN0046-2616
- 电子ISSN2101-0064
- 文件大小734.35KB
- 发表时间2007-0103
- DOI10.2307/40991041
- 页码167-170
[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