|
|
der Menge aller durch Addition (Vereinigung) und Selbstbelegung erzeugbaren
– Volker Peckhaus, Reinhard Kahle
|
|
5
|
The Mathematical Import Of Zermelo's Well-Ordering Theorem
– Akihiro Kanamori
- 1997
|
|
|
JACQUES HERBRAND: LIFE, LOGIC, AND AUTOMATED DEDUCTION
– Claus-peter Wirth, Jörg Siekmann, Christoph Benzmüller, Serge Autexier
|
|
|
Pro and Contra Hilbert: Zermelo’s Set Theories
– Volker Peckhaus, Universität Paderborn
|
|
|
The Pragmatism of Hilbert’s Programme ∗
– Volker Peckhaus
|
|
7
|
The Mathematical Development Of Set Theory - From Cantor To Cohen
– Akihiro Kanamori
- 1996
|
|
|
Hilbert and Set Theory
– Burton Dreben , Akihiro Kanamori
- 1997
|
|
8
|
Does Mathematics Need New Axioms?
– Solomon Feferman
- 1999
|
|
2
|
Is the Continuum Hypothesis a definite mathematical problem?
– Solomon Feferman
|
|
|
In Defense of the Ideal 2nd DRAFT
– W. W. Tait
|
|
|
unknown title
– Fairouz Kamareddine
- 2005
|
|
|
century: A journey through Frege, Russell and
– Fairouz Kamareddine
- 2004
|
|
|
Logic and Computerisation in mathematics?
– Fairouz Kamareddine
- 2009
|
|
|
Completeness Results for . . .
– Mark Kaminski
- 2006
|
|
|
On Rereading van Heijenoort’s Selected Essays
– Logica Universalis, Solomon Feferman
|
|
|
Conference Item
– Ecological Conversations, Systems Thinking
- 2010
|
|
|
MSc in Logic
– Zhenhao Li, Dr. Alexandru Baltag, Prof Dr, Dick Jongh, Drs Yurii Khomskii, Prof Dr, Benedikt Löwe, Prof Dr, Jouko Väänänen
- 2011
|
|
|
Pages 125–133 Manifolds at and beyond the limit of metrisability
– David Gauld
|
|
2
|
Hilbert’s Program Then and Now
– Richard Zach
- 2005
|
