| 000 | 00594 a2200169 4500 | ||
|---|---|---|---|
| 001 | 8389 | ||
| 010 | _a2-86240-504-3 | ||
| 090 | _a8389 | ||
| 100 | _a20170516 frey50 | ||
| 101 | _afre | ||
| 102 | _aFR | ||
| 200 | 1 |
_aLes Démonstrations de cohérence de l'arithmétique _fJean-Yves Girard |
|
| 210 |
_aParis _cécole normale supérieure _aVilletaneuse _cIREM Paris-Nord _d1980 |
||
| 215 |
_a6 f _d30 cm |
||
| 225 | 2 |
_aCollection Philosophie-mathématiques _v |
|
| 700 | 1 |
_aGIRARD _bJean-Yves _4070 |
|
| 710 |
_aséminaire de philosophie et mathématiques de l'école normale supérieure _eParis _f9 Janvier 1980 |
||
| 099 | _tBRO | ||