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
Navegando Libros Estantes, Ubicación: Libros, Código de colección: General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
QA9.54 R63 2015 Introduction to mathematical proofs : | QA9.54 R63 2015 Introduction to mathematical proofs : | QA9.54 S67 Lectures on the Curry-Howard isomorphism / | QA9.54 S67 Lectures on the Curry-Howard isomorphism / | QA9.56 E38 Essays in constructive mathematics / | QA9.58 A34 Analisis de algoritmos y teoria de grafos | QA9.58 A34 Analisis de algoritmos y teoria de grafos |
No hay comentarios en este titulo.