Combinatory logic : Volume 1

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Curry Haskell Brooks (Auteur), Feys Robert (Auteur)
Autres auteurs : Craig William (Collaborateur)
Format : Livre
Langue : anglais
Titre complet : Combinatory logic. Volume 1 / Haskell B. Curry,..., Robert Feys,...; with two chapters of William Craig
Édition : [2e tirage corrigé]
Publié : Amsterdam : North-Holland Publishing Company , 1968
Description matérielle : 1 vol. (XVI-417 p.)
Collection : Studies in logic and the foundations of mathematics
Sujets :
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