Titre :	Combinatory logic. Volume II
Type de document :	texte imprimé
Auteurs :	Haskell B. CURRY, Auteur ; Roger J. HINDLEY, Auteur ; Jonathan P. SELDIN, Auteur
Editeur :	Amsterdam : North-Holland Publishing Company
Année de publication :	1972
Collection :	Studies in logic and the foundations of mathematics, ISSN 0049-237X
Importance :	XIV-520 p.
ISBN/ISSN/EAN :	978-0-7204-2208-5
Langues :	Anglais
Mots-clés :	logique mathématique  logique combinatoire
Note de contenu :	index, bibliogr.

Combinatory logic. Volume II [texte imprimé] / Haskell B. CURRY, Auteur ; Roger J. HINDLEY, Auteur ; Jonathan P. SELDIN, Auteur . - Amsterdam : North-Holland Publishing Company, 1972 . - XIV-520 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
ISBN : 978-0-7204-2208-5
Langues : Anglais

Mots-clés :	logique mathématique  logique combinatoire
Note de contenu :	index, bibliogr.