Imagen de Amazon.com
Foundations of constructive mathematics : Metamathematical studies / Michael j. beeson
Tipo de material:
TextoSeries Ergebnisse der mathematik und ihrer grenzgebiete ; 3. folge, bd. 6Editor: Berlin : Springer Verlag, c1985Descripción: 466 páginasTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 3540121730Tema(s): Matemáticas constructivasClasificación LoC:QA9.56 | B44
| Tipo 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 B44 (Navegar estantería(Abre debajo)) | 1 | Disponible | 6317 |
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 S75 2009 Mathematical analysis and proof / | QA9.54 T35 2013 Proof theory / | QA9.54 W64 2011 Introduction to proof in abstract mathematics / | QA9.56 B44 Foundations of constructive mathematics : | QA9.56 F76 From sets and types to topology and analysis : | QA9.56 K73 Bounded arithmetic, propositional logic, and complexity theory / | QA9.58 A34 Analisis de algoritmos y teoria de grafos |
No hay comentarios en este titulo.