La Filosofia di Gottlob Frege
- 期刊名称Bulletin of Symbolic Logic
- 作者Franchella, Miriam
- 卷第10卷
- 期第2期
- 印刷ISSN1079-8986
- 电子ISSN1943-5894
- 文件大小61.63KB
- 发表时间2004-06
- DOI10.1017/s1079898600004030
- 页码226-228
[Studies in Logic and the Foundations of Mathematics] Axiomatic Set Theory Volume 21 || Part II Axiomatic Set TheoryBernays, P. · 1958
Set Theory for the Working Mathematician || Axiomatic set theoryCiesielski, Krzysztof · 1997
A System of Axiomatic Set Theory: Part IV. General Set TheoryPaul Bernays · The Journal of Symbolic Logic · 1942
A System of Axiomatic Set Theory: Part V. General Set TheoryPaul Bernays · The Journal of Symbolic Logic · 1943
A Method of Modelling the Formalism of Set Theory in Axiomatic Set TheoryA. H. Kruse · The Journal of Symbolic Logic · 1963
Algebraic Set Theory || Axiomatic Theory of Small MapsJoyal, Andri; Moerdijk, Ieke · 1995
Pointless axiomatic set theoryHidegoro Nakano · 1970
An axiomatic set theoryHidegoro Nakano · 1970
Extraspecial p-groupsSaharon Shelah; Juris Steprāns · 1987
Homogeneous almost disjoint familiesSharon Shelah; Juris Steprāns · Algebra Universalis · 1994
ErratumSaharon Shelah; Juris Steprāns · Archive for Mathematical Logic · 1994
Cellularity of first countable spacesJuris Steprāns; Stephen Watson · Topology and its Applications · 1988
Extending idealsJuris Steprāns; W. Stephen Watson · 1986
Continuous Maps on Aronszajn TreesKenneth Kunen, Jean A. Larson, Juris Steprāns · 2012
A very discontinuous Borel functionSteprāns, Juris · The Journal of Symbolic Logic · 1993
[untitled]Review by: Juris Steprāns · The Bulletin of Symbolic Logic · 2005
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