| Titre : | The lambda calculus. Its syntax and semantics |
| Auteurs : | H. Barendregt |
| Type de document : | ouvrage |
| Editeur : | Amsterdam, NLD : North Holland, 1984 |
| Collection : | Studies in logic and the foundations of mathematics, vol 103 |
| Format : | 621p. |
| Langues : | = Anglais |
| Catégories : | |
| Mots-clés : | MATHEMATIQUES ; CALCUL ; EQUATION ; ALGEBRE |
Exemplaires (1)
| Centre | Localisation | Section | Cote | Statut | Disponibilité |
|---|---|---|---|---|---|
| Jouy-en-Josas Antony | Antony | Ouvrages | BC309 | Empruntable | Disponible pour le prêt |
