Titre :	Introduction to combinatory logic
Type de document :	texte imprimé
Auteurs :	Hindley, J. Roger ; Seldin, J. P. ; Lercher, B.
Editeur :	Cambridge University Press
Année de publication :	1972
Collection :	London Mathematical Society Lecture Note Series. num. 07
Importance :	170 p.
ISBN/ISSN/EAN :	978-0-521-09697-3
Langues :	Anglais
Catégories :	03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 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 :	mathematical logic  recursion theory  combinatory logic
Index. décimale :	03C Monographie

Introduction to combinatory logic [texte imprimé] / Hindley, J. Roger ; Seldin, J. P. ; Lercher, B. . - [S.l.] : Cambridge University Press, 1972 . - 170 p.. - (London Mathematical Society Lecture Note Series.; 07) .
ISBN : 978-0-521-09697-3
Langues : Anglais

Catégories :	03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 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 :	mathematical logic  recursion theory  combinatory logic
Index. décimale :	03C Monographie