Titre :	Combinatory logic. Vol. II
Type de document :	texte imprimé
Auteurs :	Curry, Haskell B. ; Seldin, Jonathan P. ; Hindley, J. Roger
Editeur :	Amtsterdam : North-Holland Publishing Company
Année de publication :	1972
Collection :	Studies in Logic and the Foundations of Mathematics num. 65
Importance :	xv - 520 p.
ISBN/ISSN/EAN :	978-0-7204-2208-5
Langues :	Anglais
Catégories :	03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D99 None of the above, but in this section
Mots-clés :	combinatory logic
Index. décimale :	03C Monographie

Combinatory logic. Vol. II [texte imprimé] / Curry, Haskell B. ; Seldin, Jonathan P. ; Hindley, J. Roger . - Amtsterdam : North-Holland Publishing Company, 1972 . - xv - 520 p.. - (Studies in Logic and the Foundations of Mathematics; 65) .
ISBN : 978-0-7204-2208-5
Langues : Anglais

Catégories :	03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D99 None of the above, but in this section
Mots-clés :	combinatory logic
Index. décimale :	03C Monographie