Proof Analysis : A contribution to Hilbert's last problem. - HAL-SHS - Sciences de l'Homme et de la Société
Article Dans Une Revue History and Philosophy of Logic Année : 2013

Proof Analysis : A contribution to Hilbert's last problem.

Mots clés

Hilbert

Domaines

Philosophie

SANDRINE PITOU  : Connectez-vous pour contacter le contributeur

https://shs.hal.science/halshs-01016620

Soumis le : lundi 30 juin 2014-16:33:34

Dernière modification le : lundi 9 décembre 2024-15:36:03

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS1 ENS-PARIS CNRS UNIV-AMU IHPST HIPHISCITECH PSL CGGG
101 Consultations
0 Téléchargements

Partager

More