Combinatory logic. Volume 2 [monographie] |
| Auteur(s): | Curry, Haskell Brooks (1900-1982) Seldin, Jonathan Paul Hindley, James Roger (1939-....) |
| Langue: | anglais |
| Collection: | Studies in logic and the foundations of mathematics |
| Editeur, date d'édition: | North-Holland, 1972 |
| Ville(s) d'édition: | London (GB), Amsterdam (NL) |
| ISBN: | 0-7204-2208-6 |
| ISSN: | 0049-237X |
| Classification MSC: | 02.00 (2000) |
| Notes: | xiv ; bibliogr. pp. 499-504 ; index pp. 505-520 ; 23 cm ; 520 p |
| Thèmes: | logique combinatoire, systeme inferentiel, combinatory logic, systeme deductif, c-systeme, arithmetique combinatoire |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 CUR 72-2 | Disponible |