Hilbert's formalism and arithmetization of mathematics

pp. 1-14

Publication details

Published in:

(1997) Synthese 110 (1).

Seiten: 1-14

Referenz:

Webb Judson (1997) „Hilbert's formalism and arithmetization of mathematics“. Synthese 110 (1), 1–14.