Problems
- 期刊名称Mathematics Magazine
- 作者David C. Kay, Allen J. Schwenk, Claus Mazanti Sorensen, Herbert Gulicher, Joaquin Gomez Rey, Hoe Teck Wee, Larry Hoehn, John Brillhart, J. S. Lomont, Erwin Just, John Christopher, Murray S. Klamkin, Cecil C. Rousseau, Robert L. Doucette, Joseph G. Gaskin, Wu Wei Chao, Con Amore Problem Group, Can A. Minh, Howard Morris, Michael Woltermann, Saul Stahl, Matt Baker and Nicholas C. Singer
- 卷第70卷
- 期第4期
- 印刷ISSN0025-570X
- 电子ISSN1930-0980
- 文件大小633.06KB
- 发表时间1997-10
- DOI10.2307/2690874
- 页码298-307
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