Repository | Zeitschrift | Band
Synthese
Reflections on Frege and Hilbert
Band 147 (1)
Details | Inhaltsverzeichnis
Real numbers and set theory – extending the neo-Fregean programme beyond arithmetic
pp.21-41
https://doi.org/10.1007/s11229-004-6205-7
Problems and riddles
Hilbert and the Du Bois-Reymonds
pp.63-79
https://doi.org/10.1007/s11229-004-6207-5
The constructive Hilbert program and the limits of Martin-Löf type theory
pp.81-120
https://doi.org/10.1007/s11229-004-6208-4
Dedekind's analysis of number
systems and axioms
pp.121-170
https://doi.org/10.1007/s11229-004-6300-9Publication details
Zeitschrift: Synthese
Band: 147
Issue: 1
Year: 2005
Referenz:
(2005) Reflections on Frege and Hilbert. Synthese 147 (1).