Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Pawe Urzyczyn
Tipo de material: TextoSeries Studies in logic and the foundations of mathematics ; v. 149Editor: Boston, Massachusetts : Elsevier, 2006Descripción: 442 páginasTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 9780444520777; 0444520775Tema(s): Isomorfismo de Curry-Howard | Cálculo lambda | Teoría de la demostraciónClasificación CDD: 511.3/26 Clasificación LoC:QA9.54 | S67Tipo de ítem | Biblioteca actual | Colección | Clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|
Libros | Libros Libros | General | QA9.54 S67 (Navegar estantería(Abre debajo)) | 1 | Disponible | 185340 | ||
Libros | Libros Libros | General | QA9.54 S67 (Navegar estantería(Abre debajo)) | 1 | Disponible | 185341 |
Total de reservas: 0
No hay comentarios en este titulo.