18-1 | 2014
Standards of Rigor in Mathematical Practice
Sous la direction de Gerhard Heinzmann et Jean-Jacques Szczeciniarz
-
Preface [Texte intégral]
-
La rigueur mathématique chez Henri Poincaré [Texte intégral]
-
Foundation of Mathematics between Theory and Practice [Texte intégral]
-
Facets and Levels of Mathematical Abstraction [Texte intégral]
-
The Transition from Formula-Centered to Concept-Centered Analysis Bolzano's Purely Analytic Proof [Texte intégral]as a Case Study
-
Varia
-
Une nouvelle sémantique de l’itération modale [Texte intégral]
-