Introduction to higher order categorical logic / Joachim Lambek, P. J. Scott.
Series Cambridge studies in advanced mathematics ; 7Detalles de publicación: Cambridge ; New York : Cambridge University, 1994.Descripción: ix, 293 p. ; 24 cmISBN:- 0521356539
Tipo de ítem | Biblioteca actual | Signatura | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|
Libro | FaMAF Sección Computación | C F4.1 L221 | Disponible | 21125 |
Total de reservas: 0
Incluye índice.
Bibliografía: p. [279]-288.