

Combinatory logic. Volume 1 [monographie] |
Auteur(s): | Curry, Haskell Brooks (1900-1982) Feys, Robert (1889-1961) Craig, William (1918-....) |
Langue: | anglais |
Collection: | Studies in logic and the foundations of mathematics |
Editeur, date d'édition: | North-Holland, 1958 |
Ville(s) d'édition: | Amsterdam (NL), London (GB) |
ISSN: | 0049-237X |
Classification MSC: | 02.00 (2000) |
Notes: | xvi ; 1 errata ; bibliogr. pp. 382-393 ; index pp. 395-417 ; 23 cm (Autre tirage : 1968) ; 417 p. |
Thèmes: | combinatoire, logique combinatoire, combinatory logic, combinateur |
Exemplaire(s)
Cote | Retour |
---|---|
05 CUR 58-1 | Disponible |