Les Démonstrations de cohérence de l'arithmétique / Jean-Yves Girard
Langue : français.Pays : France.Publication : Paris : école normale supérieure, Villetaneuse : IREM Paris-Nord, 1980Description : 6 f ; 30 cmISBN : 2-86240-504-3.Collection: Collection Philosophie-mathématiques,| Type de document | Site actuel | Cote | Statut | Date de retour prévue | Code à barres |
|---|---|---|---|---|---|
| Brochure (irem, autres) | IREM P7 | P13 Philom 1980 GIR (Parcourir l'étagère(Ouvrir ci-dessous)) | Disponible | 9609 |
Parcourir IREM P7 les étagères Fermer l'étagère (Fermer la navigation sur l'étagère)
| P13 Ped-info 1982 f-4 Pédagogie et Infomatique | Fascicule 4 | P13 Philom 1980 APE Mathématique constructive. | P13 Philom 1980 DIE (Les) Grandes lignes de l'évolution des mathématiques | P13 Philom 1980 GIR Les Démonstrations de cohérence de l'arithmétique | P13 Philom 1980 NIC Utilisation des calculateurs en théorie des nombres. | P13 Philom 1980 RAU Nombres et jeux selon J.H. Conway. | P13 Philom 1980 RIB Les Idées de Kummer sur le théorème de Fermat. |
Il n'y a pas de commentaire pour ce titre.