Journal | Volume
Synthese
Volume 110 (1)
Details | Table of Contents
Hilbert's formalism and arithmetization of mathematics
pp.1-14
https://doi.org/10.1023/A:1004919107087Publication details
Journal: Synthese
Volume: 110
Issue: 1
Year: 1997
Full citation:
(1997) Synthese 110 (1).