|
|
|
|
LEADER |
01468cam a2200433 4500 |
001 |
PPN022577203 |
003 |
http://www.sudoc.fr/022577203 |
005 |
20211105112800.0 |
035 |
|
|
|a (OCoLC)25289597
|
035 |
|
|
|a ocm25289597
|
035 |
|
|
|a PRITEC.AIX.010730344001
|
100 |
|
|
|a 19920217d1968 k y0frey0103 ba
|
101 |
0 |
|
|a eng
|
102 |
|
|
|a NL
|
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 |
|
1 |
|6 z01
|a nga
|2 rdacarrier
|
200 |
1 |
|
|a Combinatory logic
|h Volume 1
|f Haskell B. Curry,..., Robert Feys,...
|g with two chapters of William Craig
|
205 |
|
|
|a [2e tirage corrigé]
|
214 |
|
0 |
|a Amsterdam
|c North-Holland Publishing Company
|d 1968
|
215 |
|
|
|a 1 vol. (XVI-417 p.)
|d 22 cm
|
225 |
2 |
|
|a Studies in logic and the foundations of mathematics
|
320 |
|
|
|a Bibliogr. p. [382]-393. Index
|
410 |
|
| |
|0 013286838
|t Studies in logic and the foundations of mathematics
|x 0049-237X
|
606 |
|
|
|3 PPN027430677
|a Logique combinatoire
|2 rameau
|
686 |
|
|
|a 03-XX
|2 msc
|
700 |
|
1 |
|3 PPN032659210
|a Curry
|b Haskell Brooks
|f 1900-1982
|4 070
|
701 |
|
1 |
|3 PPN12896040X
|a Feys
|b Robert
|f 1889-1961
|4 070
|
702 |
|
1 |
|3 PPN060310421
|a Craig
|b William
|f 1918-2016
|4 205
|
801 |
|
1 |
|a US
|b OCLC
|g AACR2
|
801 |
|
2 |
|a FR
|b AUROC
|g AFNOR
|
801 |
|
3 |
|a FR
|b Abes
|c 20210112
|g AFNOR
|
930 |
|
|
|5 441092208:683683756
|b 441092208
|j u
|
979 |
|
|
|a CCFA
|
998 |
|
|
|a 884459
|