Proof Analysis : A contribution to Hilbert's last problem. - HAL Accéder directement au contenu
Article dans une revue History and Philosophy of Logic Année : 2013

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

Mots clés

Domaines

Philosophie
Loading...
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⟩
89 Consultations
0 Téléchargements
Dernière date de mise à jour le 28/04/2024
comment ces indicateurs sont-ils produits

Partager

Gmail Facebook Twitter LinkedIn Plus