Cargando…
The lambda calculus : its syntax and semantics
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | English |
| Publicado: |
Amsterdam ;
Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
1984.
|
| Edición: | Rev. ed. |
| Colección: | Studies in logic and the foundations of mathematics ;
v. 103 |
| Materias: |
| Descripción Física: | xv, 621 páginas : ilustraciones ; 23 cm. |
|---|---|
| Bibliografía: | Bibliografía: páginas 585-598. |
| ISBN: | 0444875085 |