TY - BOOK ED - Colloque Inter-IREM ED - Commission inter-IREM épistémologie (France) TI - La Démonstration mathématique dans l'histoire SN - 2906943207 AV - QA 9.54 C65.1989 U1 - 511.3 20 PY - 1990///] CY - [Besançon], [Lyon] PB - IREM de Besançon, Diffusion IREM de Lyon KW - Teoría de la prueba lógica - KW - Congresos KW - Matemáticas KW - Historia - KW - Estudio y enseñanza - N1 - A la cabeza de la portada: Commission inter-IREM histoire et épistémologie des mathématiques; Incluye referencias bibliográficas ER -