Vista normal
Vista MARC
The Lambda calculus : its syntax and semantics / H. P. Barendregt
Tipo de material: TextoSeries Studies in logic and the foundations of mathematics ; Detalles de publicación: Amsterdam : North-Holland, c1984Descripción: xv, 621 p. : il., retrs. ; 22 cmISBN:- 0-444-87508-5
- QA 9.5 B36.1984
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|
Libros | Biblioteca Francisco Xavier Clavigero Acervo | Acervo General | QA 9.5 B36.1984 (Navegar estantería(Abre debajo)) | Disponible | 177012 |