Repository | Zeitschrift | Band
Synthese
Band 110 (1)
Details | Inhaltsverzeichnis
Hilbert's formalism and arithmetization of mathematics
pp.1-14
https://doi.org/10.1023/A:1004919107087Publication details
Zeitschrift: Synthese
Band: 110
Issue: 1
Year: 1997
Referenz:
(1997) Synthese 110 (1).