The lambda calculus: its syntax and semantics /
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | English |
| Publicado: |
Amsterdam,
1984.
|
| Edición: | Ed. rev. -- |
| Colección: | Studies in logic and the Foundations of Mathematics ;
v. 103) |
| Materias: |
| LEADER | 00741nam a2200229 u 4500 | ||
|---|---|---|---|
| 001 | 000294999 | ||
| 005 | 20110720143301.0 | ||
| 008 | s1984 s1984 fs ||||| eng | ||
| 020 | |a 0444867481 | ||
| 035 | |a 104461 | ||
| 040 | |a Sistema de Bibliotecas de la Universidad de Costa Rica | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 511.3 |b B248L |2 00 | |
| 100 | 1 | |a Barendregt, Hendrik Pieter |e Autor/a |4 aut | |
| 245 | 1 | 4 | |a The lambda calculus: |b its syntax and semantics / |c H.P. Barendregt. -- |
| 250 | |a Ed. rev. -- | ||
| 260 | |a Amsterdam, |c 1984. | ||
| 300 | |a 621 páginas ; |c 23 cm.-- | ||
| 490 | 0 | |a Studies in logic and the Foundations of Mathematics ; |v v. 103) | |
| 650 | |a LOGICA, SIMBOLICA Y MATEMATICA | ||
| 949 | |a AE-AE b AE | ||
| 916 | |a Registros del LS-2000 | ||