Vista normal
Vista MARC
Constructivism in mathematics : an introduction / A. S. Troelstra, D. van Dalen
Tipo de material:
TextoSeries Studies in logic and the foundations of mathematics ; 121Detalles de publicación: Amsterdam : North-Holland, c1988Descripción: v. ; 23 cmISBN: - 0-444-70266-0
- QA 9.56 T74
| Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Estado | Notas | Fecha de vencimiento | Código de barras | |
|---|---|---|---|---|---|---|---|---|
| Libros | Biblioteca Francisco Xavier Clavigero Acervo | Acervo General | QA 9.56 T74 (Navegar estantería(Abre debajo)) | Disponible | 177300 |
Navegando Biblioteca Francisco Xavier Clavigero estanterías, Ubicación en estantería: Acervo, Colección: Acervo General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| QA 9.54 C65.1989 La Démonstration mathématique dans l'histoire : | QA 9.54 T34.1987 Proof theory / | QA 9.54 T39.2014 Understanding mathematical proof / | QA 9.56 T74 Constructivism in mathematics : an introduction / | QA 9.58 B73.1996 Fundamentals of algorithmics / | QA 9.58 M36.2014 Diseño y construcción de algoritmos / | QA 9.58 M3713 The theory of algorithms / |
Incluye índice.
Bibliografía: p.327-342.
