Repository | Journal | Volume | Articles

COPR BookmarkLink
237772

(1997) Synthese 110 (1).

Hilbert's formalism and arithmetization of mathematics

Judson Webb

pp. 1-14

Publication details

DOI: 10.1023/A:1004919107087

Full citation:

Webb, J. (1997). Hilbert's formalism and arithmetization of mathematics. Synthese 110 (1), pp. 1-14.

This document is unfortunately not available for download at the moment.