Les limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Livre papier |
| Hizkuntza: | Français |
| Argitaratua: |
Sceaux :
Editions Jacques Gabay
DL 1992.
(53-Mayenne) : Impr. de la Manutention |
| Saila: | Les grands classiques Gauthier-Villars
|
| Gaiak: | |
| Oharra: |
Fac-sim. de l'éd. de Louvain : E. Nauwelaerts ; Paris : Gauthiers-Villars, 1957, parue dans la collection de Logique mathématique |
| Autres localisations: | Voir dans le Sudoc |
| LEADER | 01403nam a22003017a 4500 | ||
|---|---|---|---|
| 001 | 188811 | ||
| 008 | 930126t19921992xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN00276251X | ||
| 020 | |a 287647087X (br.) : |c 432 FRF | ||
| 024 | |a 9782876470873 | ||
| 037 | |a 9782876470873 | ||
| 041 | 0 | |a fre | |
| 080 | |a 51 | ||
| 082 | |a 510 | ||
| 100 | 1 | |a Ladrière, Jean, |d 1921-2007. | |
| 245 | 1 | 0 | |a Les limitations internes des formalismes : |b étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques |c Jean Ladrière. |
| 260 | |a Sceaux : |b Editions Jacques Gabay, |c DL 1992. | ||
| 260 | |a (53-Mayenne) : |b Impr. de la Manutention. | ||
| 300 | |a 1 vol. (XIII-715-26 col.) ; |c 18 x 25 cm. | ||
| 490 | 1 | |a Les grands classiques Gauthier-Villars |x 0989-0602 | |
| 500 | |a Fac-sim. de l'éd. de Louvain : E. Nauwelaerts ; Paris : Gauthiers-Villars, 1957, parue dans la collection de Logique mathématique | ||
| 504 | |a Bibliogr. col. [501]-546. Notes bibliogr. L'ouvrage contient des tables | ||
| 650 | |a Arithmétique |x Fondements | ||
| 650 | |a Formalisme (mathématiques) | ||
| 650 | |a Mathématiques |x Fondements | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Gödel, Théorème de | ||
| 997 | |0 188811 |1 Livre papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, B8833 | ||