The lambda calculus. Its syntax and semantics [monographie] |
| Auteur(s): | Barendregt, Hendrik Pieter (1947-....) |
| Langue: | anglais |
| Collection: | Studies in logic and the foundations of mathematics, n° 103 |
| Editeur, date d'édition: | North-Holland, 1981 |
| Ville(s) d'édition: | Amsterdam (NL), New York (US), Oxford (GB) |
| ISBN: | 0-444-85490-8 |
| ISSN: | 0049-237X |
| Classification MSC: | 03B40 (2000) |
| Notes: | xiv ; 3 plates ; fig. ; exercices ; bibliogr. pp. 580-591 ; index pp. 593-615 ; 23 cm ; 615 p. |
| Thèmes: | semantique, syntaxe, lambda calculus, lambda-calcul, godel numbers |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 BAR 81 | Disponible |