Proof Analysis : A contribution to Hilbert's last problem. - Archive ouverte HAL
Article Dans Une Revue History and Philosophy of Logic Année : 2013
Fichier non déposé

Dates et versions

halshs-01016620 , version 1 (30-06-2014)

Identifiants

  • HAL Id : halshs-01016620 , version 1

Citer

Francesca Poggiolesi, S. Negri, J. von Plato. Proof Analysis : A contribution to Hilbert's last problem.. History and Philosophy of Logic, 2013, 278 p. ⟨halshs-01016620⟩
94 Consultations
0 Téléchargements

Partager

More