Foundations of constructive mathematics : Metamathematical studies / Michael j. beeson
Tipo de material:
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 | 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.