Publication details
Year: 1997
Pages: 1-14
Series: Synthese
Full citation:
, "Hilbert's formalism and arithmetization of mathematics", Synthese 110 (1), 1997, pp. 1-14.
Cited authors
Publication details
Year: 1997
Pages: 1-14
Series: Synthese
Full citation:
, "Hilbert's formalism and arithmetization of mathematics", Synthese 110 (1), 1997, pp. 1-14.