A Question of Character
- 期刊名称American Quarterly
- 作者Review by: Stephen J. Whitfield
- 卷第41卷
- 期第4期
- 印刷ISSN0003-0678
- 电子ISSN1080-6490
- 文件大小571.85KB
- 发表时间1989-12
- DOI10.2307/2713104
- 页码724-728
Frege's conception of logicby Patricia A. BlanchetteReview by: G. Aldo Antonelli · The Bulletin of Symbolic Logic · 2013
Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3, Nonmonotonic Reasoning and Uncertain Reasoningby Dov M. Gabbay; C. J. Hogger; J. A. Robinson; D. NuteReview by: G. Aldo Antonelli · 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