El PRECIO de la UTOPÍA en TIEMPO$ de INCERTIDUMBRE || LA UTOPÍA DE JUN
- 期刊名称Ábaco (2 Epoca)
- 作者JOSÉ ANTONIO RODRÍGUEZ SALAS
- 期第58期
- 印刷ISSN0213-6252
- 文件大小1056.71KB
- 发表时间2008
- DOI10.2307/41219226
- 页码39-44
[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