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: |