|
|
|
|
LEADER |
02393cam a2200769 4500 |
001 |
PPN020959931 |
003 |
http://www.sudoc.fr/020959931 |
005 |
20211105113500.0 |
010 |
|
|
|a 0-691-07984-6
|b rel.
|
020 |
|
|
|a US
|b 5310150 /L
|
020 |
|
|
|a GB
|b 56-15262
|
035 |
|
|
|a 005503833
|9 sudoc
|
035 |
|
|
|a 051777940
|9 sudoc
|
035 |
|
|
|a 014942070
|9 sudoc
|
035 |
|
|
|a 011712996
|9 sudoc
|
035 |
|
|
|a 095876308
|9 sudoc
|
035 |
|
|
|a (OCoLC)490823826
|
035 |
|
|
|a ocm18937646
|
035 |
|
|
|a ocm31714428
|
035 |
|
|
|a ocm00374881
|
035 |
|
|
|a sib0620162
|
035 |
|
|
|a sib0080907
|
035 |
|
|
|a PRITEC.STRASBG.080013017001
|
035 |
|
|
|a PRITEC.ROUEN.070011724001
|
035 |
|
|
|a sib1608805
|
035 |
|
|
|a PRITEC.AIX.010610639001
|
035 |
|
|
|a SU026601430001P D
|
100 |
|
|
|a 19941219h19561956k y0frey0103 ba
|
101 |
0 |
|
|a eng
|
102 |
|
|
|a US
|
105 |
|
|
|a y a 001yy
|
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 rdamedia
|
200 |
1 |
|
|a Introduction to mathematical logic
|h Volume I
|f by Alonzo Church
|
214 |
|
0 |
|a Princeton (N.J.)
|c Princeton University Press
|d 1956
|
215 |
|
|
|a 1 vol. (IX-376 p.)
|d 24 cm
|
225 |
2 |
|
|a Princeton mathematical series
|v 17
|
305 |
|
|
|a Autres tirages : 1958, 1962, 1964, 1967, 1970 (6th printing)
|
320 |
|
|
|a Notes bibliogr. Index
|
410 |
|
| |
|0 013284045
|t Princeton mathematical series
|x 0079-5194
|v 17
|
606 |
|
|
|3 PPN027662799
|a Logique mathématique
|2 rameau
|
676 |
|
|
|a 164
|
686 |
|
|
|a 02.0X
|c 2000
|2 msc
|
700 |
|
1 |
|3 PPN060369604
|a Church
|b Alonzo
|f 1903-1995
|4 070
|
801 |
|
3 |
|a FR
|b Abes
|c 20190314
|g AFNOR
|h 005503833
|
801 |
|
3 |
|a FR
|b Abes
|c 20190314
|g AFNOR
|h 051777940
|
801 |
|
3 |
|a FR
|b Abes
|c 20190314
|g AFNOR
|h 014942070
|
801 |
|
3 |
|a FR
|b Abes
|c 20190314
|g AFNOR
|h 011712996
|
801 |
|
3 |
|a FR
|b Abes
|c 20190314
|g AFNOR
|h 095876308
|
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
|
801 |
|
3 |
|a FR
|b SF
|g AFNOR
|
801 |
|
3 |
|a FR
|b SF
|g AFNOR
|
801 |
|
1 |
|a FR
|b BNF
|c 19970523
|
979 |
|
|
|a PHILO
|
930 |
|
|
|5 441092211:252905237
|b 441092211
|a L 2943
|j s
|
991 |
|
|
|5 441092211:252905237
|a Rétroconversion Philosophie
|
998 |
|
|
|a 445446
|