Preface

Gerhard Heinzmann, Jean-Jacques Szczeciniarz

3-6

Mathematical rigor, proof gap and the validity of mathematical inference

Yacin Hamami

7-26

La rigueur mathématique chez Henri Poincaré

Ramzi Kebaïli

Foundation of mathematics between theory and practice

Giorgio Venturi

Facets and levels of mathematical abstraction

81-112

The transition from formula-centered to concept-centered analysis Bolzano's purely analytic proof

as a case study

Iris Loeb, Stefan Roski

113-129

D'un point de vue rigoureux et parfaitement général 

pratique des mathématiques rigoureuses chez Richard Dedekind

Emmylou Haffner

131-156

The right order of concepts

Graßmann, Peano, Gödel and the inheritance of Leibniz's universal characteristic

Paola Cantù

157-182

Une nouvelle sémantique de l'itération modale

Brice Halimi

185-203