|
|
|
|
| LEADER |
02818cam a2200721 4500 |
| 001 |
PPN011886943 |
| 003 |
http://www.sudoc.fr/011886943 |
| 005 |
20240319102500.0 |
| 020 |
|
|
|a US
|b 6530880
|
| 035 |
|
|
|a 017665183
|9 sudoc
|
| 035 |
|
|
|a 021960445
|9 sudoc
|
| 035 |
|
|
|a 082341125
|9 sudoc
|
| 035 |
|
|
|a 08234177X
|9 sudoc
|
| 035 |
|
|
|a 089201531
|9 sudoc
|
| 035 |
|
|
|a (OCoLC)490232387
|
| 035 |
|
|
|a ocm02635717
|
| 035 |
|
|
|a ocm23407057
|
| 035 |
|
|
|a ocm14962606
|
| 035 |
|
|
|a PRITEC.BIUM2.010040858001
|
| 035 |
|
|
|a sib0645446
|
| 035 |
|
|
|a PRITEC.MARSEILLE.010970347001
|
| 035 |
|
|
|a PRITEC.BIUM2.010131257001
|
| 035 |
|
|
|a PRITEC.SCDUFC.050491030001
|
| 100 |
|
|
|a 19950717d1953 k y0frey0103 ba
|
| 101 |
0 |
|
|a fre
|2 639-2
|
| 102 |
|
|
|a FR
|
| 105 |
|
|
|a y a 100yy
|
| 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 méthodes formelles en axiomatique
|e [Actes du colloque tenu à] Paris, [en] Décembre 1950
|f Colloques internationaux du Centre national de la recherche scientifique
|g [organisé par la Faculté des Sciences de l'Université de Paris, Centre d'Études de Logique Symbolique]
|
| 214 |
|
0 |
|a Paris
|c Centre National de la recherche Scientifique = CNRS
|d 1953
|
| 215 |
|
|
|a 1 vol. (X-78 p.)
|d 24 cm
|
| 225 |
1 |
|
|a Colloques internationaux du Centre National de la recherche scientifique
|v XXXVI
|
| 305 |
|
|
|a Ce colloque a été nommé "Colloque international de logique mathématique"
|
| 320 |
|
|
|a Bibliogr. ou notes bibliogr. selon les contributions
|
| 410 |
|
| |
|0 001034146
|t Colloques internationaux du Centre national de la recherche scientifique
|x 0366-7634
|v XXXVI
|
| 606 |
|
|
|3 PPN027662799
|a Logique mathématique
|2 rameau
|
| 606 |
|
|
|3 PPN02756441X
|a Axiomatique
|2 rameau
|
| 608 |
|
|
|3 PPN02886431X
|a Actes de congrès
|2 rameau
|
| 676 |
|
|
|a 511.3
|v 21
|
| 680 |
|
|
|a QA9
|b .F67
|
| 710 |
1 |
2 |
|3 PPN071210741
|a Colloques internationaux du Centre national de la recherche scientifique
|d 36
|f 1950
|e Paris
|4 070
|
| 711 |
0 |
2 |
|3 PPN071211306
|a Centre d'études de logique symbolique
|c Paris
|4 557
|
| 801 |
|
3 |
|a FR
|b Abes
|c 20220219
|g AFNOR
|h 017665183
|
| 801 |
|
3 |
|a FR
|b Abes
|c 20220219
|g AFNOR
|h 021960445
|
| 801 |
|
3 |
|a FR
|b Abes
|c 20220219
|g AFNOR
|h 082341125
|
| 801 |
|
3 |
|a FR
|b Abes
|c 20220219
|g AFNOR
|h 08234177X
|
| 801 |
|
3 |
|a FR
|b Abes
|c 20220219
|g AFNOR
|h 089201531
|
| 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 |
|
1 |
|a US
|b OCLC
|g AACR2
|
| 801 |
|
2 |
|a FR
|b AUROC
|g AFNOR
|
| 801 |
|
3 |
|a FR
|b SF
|g AFNOR
|
| 979 |
|
|
|a PHILO
|
| 930 |
|
|
|5 441092107:25289457X
|b 441092107
|a L 9203
|j s
|
| 991 |
|
|
|5 441092107:25289457X
|a Rétroconversion Philosophie
|
| 998 |
|
|
|a 445379
|
Nantilus
