Nantilus
Les fondements des mathématiques : intuitionnisme théorie de la démonstration
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Les fondements des mathématiques : intuitionnisme : théorie de la démonstration / par A. Heyting,... |
| Publié : |
Paris, Louvain :
Gauthier-Villars
, 1955 E. Nauwelaerts |
| Description matérielle : | 1 vol. (91 p.) |
| Collection : | Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris ; 9 |
| Sujets : |
| LEADER | 02098cam a2200637 4500 | ||
|---|---|---|---|
| 001 | PPN007627718 | ||
| 003 | http://www.sudoc.fr/007627718 | ||
| 005 | 20240319101700.0 | ||
| 020 | |a US |b 5512852 | ||
| 035 | |a 064717437 |9 sudoc | ||
| 035 | |a (OCoLC)300068459 | ||
| 035 | |a PRITEC.STRASBG.080013010001 | ||
| 035 | |a PRITEC.CCFISH.011920166001 | ||
| 035 | |a ocm00884277 | ||
| 035 | |a PRITEC.TOURS.030040118001 | ||
| 035 | |z ocm3221546 | ||
| 035 | |a PRITEC.SCDUFC.050481318001 | ||
| 035 | |a ocm03221546 | ||
| 035 | |a PRITEC.AIX.011330504001 | ||
| 035 | |a AIC04640131 | ||
| 035 | |a PRITEC.MARSEILLE.010680553001 | ||
| 035 | |a sib0245135 | ||
| 035 | |a SU057503250001P | ||
| 100 | |a 19901115d1955 k y0frey0103 ba | ||
| 101 | 0 | |a fre |2 639-2 | |
| 102 | |a FR | ||
| 105 | |a y a 000yy | ||
| 106 | |a r | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c n |2 rdamedia | ||
| 182 | 1 | |6 z01 |a n | |
| 183 | |6 z01 |a nga |2 RDAfrCarrier | ||
| 200 | 1 | |a Les fondements des mathématiques |e intuitionnisme |e théorie de la démonstration |f par A. Heyting,... | |
| 214 | 0 | |a Paris |c Gauthier-Villars |a Louvain |c E. Nauwelaerts |d 1955 | |
| 215 | |a 1 vol. (91 p.) |d 25 cm | ||
| 225 | 0 | |a Collection de logique mathématique |h Série A |v 9 | |
| 320 | |a Bibliogr. p. [77]-87 | ||
| 410 | | | |0 038004917 |t Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris |x 0530-7554 |v 9 | |
| 606 | |3 PPN027767078 |a Mathématiques |x Fondements |2 rameau | ||
| 606 | |3 PPN027257878 |a Mathématiques |x Philosophie |2 rameau | ||
| 676 | |a 511.3 |v 21 | ||
| 686 | |a 03-03 |c 2020 |2 msc | ||
| 686 | |a 03Axx |c 2020 |2 msc | ||
| 700 | 1 | |3 PPN027663426 |a Heyting |b Arend |f 1898-1980 |4 070 | |
| 801 | 3 | |a FR |b Abes |c 20230915 |g AFNOR |h 064717437 | |
| 801 | 1 | |a US |b OCLC |g AACR2 | |
| 801 | 2 | |a FR |b AUROC |g AFNOR | |
| 801 | 1 | |a US |b OCLC |g AACR2 | |
| 801 | 2 | |a FR |b AUROC |g AFNOR | |
| 801 | 3 | |a FR |b SF |g AFNOR | |
| 801 | 1 | |a FR |b AIC |c 20020312 | |
| 801 | 1 | |a FR |b BNF |c 19960511 | |
| 979 | |a PHILO | ||
| 930 | |5 441092107:307691403 |b 441092107 |a L 1870 |j s | ||
| 998 | |a 498277 | ||