Journal | Volume
Synthese
Reflections on Frege and Hilbert
Volume 147 (1)
Details | Table of Contents
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
Journal: Synthese
Volume: 147
Issue: 1
Year: 2005
Full citation:
(2005) Reflections on Frege and Hilbert. Synthese 147 (1).