Combinatory logic : Volume II

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Curry Haskell Brooks (Auteur), Hindley James Roger (Auteur), Seldin Jonathan Paul (Auteur)
Format : Livre
Langue : anglais
Titre complet : Combinatory logic. Volume II / Haskell B. Curry,... J. Roger Hindley,... Jonathan P. Seldin,...
Publié : Amsterdam, London : North-Holland , C 1972
Description matérielle : 1 vol. (XIV-520 p.)
Collection : Studies in logic and the foundations of mathematics ; 65-2
Sujets :
LEADER 01671cam a2200493 4500
001 PPN022226435
003 http://www.sudoc.fr/022226435
005 20240319103400.0
010 |a 0-7204-2208-6  |b rel. 
035 |a (OCoLC)490296336 
035 |a ocm24434216 
100 |a 19910923h19721972k y0frey0103 ba 
101 0 |a eng  |2 639-2 
102 |a NL  |a GB 
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 RDAfrCarrier 
200 1 |a Combinatory logic  |h Volume II  |f Haskell B. Curry,... J. Roger Hindley,... Jonathan P. Seldin,... 
214 0 |a Amsterdam  |a London  |c North-Holland 
214 4 |d C 1972 
215 |a 1 vol. (XIV-520 p.)  |d 24 cm 
225 2 |a Studies in logic and the foundations of mathematics  |v 65-2 
320 |a Bibliogr. p. 499-504. Index 
410 | |0 013286838  |t Studies in logic and the foundations of mathematics  |x 0049-237X  |v 65-2 
606 |3 PPN027430677  |a Logique combinatoire  |2 rameau 
686 |a 03B40  |c 2000  |2 msc 
686 |a 03-02  |c 2000  |2 msc 
686 |a 03D99  |c 2000  |2 msc 
700 1 |3 PPN032659210  |a Curry  |b Haskell Brooks  |f 1900-1982  |4 070 
701 1 |3 PPN032796005  |a Hindley  |b James Roger  |f 1939-....  |4 070 
701 1 |3 PPN032802595  |a Seldin  |b Jonathan Paul  |4 070 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b Abes  |c 20210629  |g AFNOR 
979 |a PHILO 
979 |a CCFA 
930 |5 441092107:252913264  |b 441092107  |a L 3632  |j s 
930 |5 441092208:651942160  |b 441092208  |j u 
991 |5 441092107:252913264  |a Rétroconversion Philosophie 
998 |a 445455