Hilbert's formalism and arithmetization of mathematics
pp. 1-14
Publication details
Published in:
(1997) Synthese 110 (1).
Pages: 1-14
Full citation:
Webb Judson (1997) „Hilbert's formalism and arithmetization of mathematics“. Synthese 110 (1), 1–14.