|
|
|
|
LEADER |
02417cam a2200529 4500 |
001 |
PPN015908348 |
003 |
http://www.sudoc.fr/015908348 |
005 |
20231204055700.0 |
010 |
|
|
|a 0-8218-1425-7
|b rel.
|
020 |
|
|
|a US
|b 748666 //r84
|
035 |
|
|
|a (OCoLC)902957
|
035 |
|
|
|a ocm00902957
|
100 |
|
|
|a 19740501h19741974k y0frey0103 ba
|
101 |
0 |
|
|a eng
|
102 |
|
|
|a US
|
105 |
|
|
|a c a 110yy
|
106 |
|
|
|a r
|
200 |
1 |
|
|a Proceedings of the Tarski symposium
|b Texte imprimé
|e [...]held to honour Alfred Tarski on the occasion of his seventieth birthsday
|f Ed. by Leon Henkin [et al...]
|
210 |
|
|
|a Providence, R.I.
|c American Mathematical Society
|d 1974
|
215 |
|
|
|a 1 vol. (XX-498 p.)
|c port.
|d 26 cm
|
225 |
2 |
|
|a Proceedings of symposia in pure mathematics
|v Volume 25
|
305 |
|
|
|a Autre tirage : 1979 avec des ajouts
|
320 |
|
|
|a Notes bibliogr., Bibliogr. des publications d'Alfred Tarski p. [487]-498.
|
410 |
|
| |
|0 013296019
|t Proceedings of symposia in pure mathematics
|x 0082-0717
|v 25
|
452 |
|
| |
|0 196287960
|t Proceedings of the Tarski symposium
|o [...]held to honour Alfred Tarski on the occasion of his seventieth birthsday
|f Ed. by Leon Henkin [et al...]
|c Providence (R.I.)
|n American Mathematical Society
|d 2012
|s Proceedings of symposia in pure mathematics
|y 978-0-8218-9311-1
|
503 |
| |
|
|a Mélanges
|e Alfred
|f Tarski
|
606 |
|
|
|3 PPN02723875X
|a Mathématiques
|3 PPN02886431X
|x Actes de congrès
|2 rameau
|
606 |
|
|
|3 PPN027662799
|a Logique mathématique
|3 PPN02886431X
|x Actes de congrès
|2 rameau
|
676 |
|
|
|a 511.3
|
680 |
|
|
|a QA7
|b .T34 1971
|
686 |
|
|
|a 08-xx
|c 1991
|2 msc
|
686 |
|
|
|a 00B25
|c 2010
|2 msc
|
686 |
|
|
|a 03-06
|c 2010
|2 msc
|
702 |
|
1 |
|3 PPN055795900
|a Henkin
|b Leon
|f 1921-2006
|4 340
|
710 |
1 |
2 |
|3 PPN175082383
|a Tarski Symposium
|f 1971
|e Berkeley, CA
|4 070
|
712 |
0 |
2 |
|3 PPN027926265
|a University of California
|c Berkeley
|4 557
|
712 |
0 |
2 |
|3 PPN029945267
|a Association for symbolic logic
|4 557
|
712 |
0 |
2 |
|3 PPN034533494
|a Union internationale de logique, méthodologie et philosophie des sciences
|4 557
|
801 |
|
1 |
|a US
|b OCLC
|g AACR2
|
801 |
|
2 |
|a FR
|b AUROC
|g AFNOR
|
801 |
|
3 |
|a FR
|b Abes
|c 20171020
|g AFNOR
|
915 |
|
|
|5 441092208:639537820
|b CRDM10056
|
930 |
|
|
|5 441092208:639537820
|b 441092208
|a 00G01
|j u
|
979 |
|
|
|a CCFA
|
991 |
|
|
|5 441092208:639537820
|a exemplaire créé automatiquement par l'ABES
|
997 |
1 |
0 |
|a CCFA
|b CRDM10056
|d CMB
|e BAP
|s d
|c 00G01
|
998 |
|
|
|a 842658
|