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 |
Navegando Biblioteca Francisco Xavier Clavigero estanterías, Ubicación en estantería: Acervo, Colección: Acervo General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | |||||||
| QA 9.35 V28 El Desarrollo de la teoría de la cuantificación / | QA 9.45 I57.1977 Modern uses of multiple-valued logic / | QA 9.46 B68.1979 Model theory for modal logic : Kripke models for modal predicate calculi / | QA 9.5 B36.1984 The Lambda calculus : its syntax and semantics / | QA 9.5 C8718.1967 Lógica combinatoria / | QA 9.54 C65.1989 La Démonstration mathématique dans l'histoire : | QA 9.54 T34.1987 Proof theory / |
