Topological Insights from the Chinese Rings
- 期刊名称Proceedings of the American Mathematical Society
- 作者Józef H. Przytycki and Adam S. Sikora
- 卷第130卷
- 期第3期
- 印刷ISSN0002-9939
- 文件大小339.93KB
- 发表时间2002-03
- DOI10.2307/2699866
- 页码893-902
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