Essays in constructive mathematics / Harold M. Edwards
Tipo de material: TextoEditor: New York : Springer Verlag, c2005Descripción: xix, 211 páginas : ilustracionesTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 0387219781 (papel alcalino)Tema(s): Matemáticas constructivasClasificación CDD: 511.3 Clasificación LoC:QA9.56 | E38Tipo 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.56 E38 (Navegar estantería(Abre debajo)) | 1 | Disponible | 181119 |
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 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 | QA9.58 B6713 Algorithm design |
No hay comentarios en este titulo.