Vista normal
Vista MARC
La Démonstration mathématique dans l'histoire : actes du 7ème colloque Inter-IREM épistémologie et histoire des mathématiques, Besançon, 12 et 13 mai 1989.
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
- 2906943207
- 511.3 20
- QA 9.54 C65.1989
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Copia número | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|---|
Libros | Biblioteca Francisco Xavier Clavigero Acervo | Acervo General | QA 9.54 C65.1989 (Navegar estantería(Abre debajo)) | ej. 1 | Disponible | 289412 |
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)
No hay imagen de cubierta disponible | ||||||||
QA 9.46 B68.1979 Model theory for modal logic : Kripke models for modal predicate calculi / | QA 9.5 B36.1984 The Lambda calculus : its syntax and semantics / | QA 9.5 C8718.1967 Lógica combinatoria / | 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 / |
A la cabeza de la portada: Commission inter-IREM histoire et épistémologie des mathématiques.
Incluye referencias bibliográficas.