|
|
|
|
LEADER |
02818cam a2200721 4500 |
001 |
PPN011886943 |
003 |
http://www.sudoc.fr/011886943 |
005 |
20240531154900.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
|