32 citations · 100 across the 24 of their papers we have counts for
Showing math.HOShow all
2 papers · 1 filter
math.HO2019
Algebra in Bishop's style: some major features of the book "A Course in Constructive Algebra'' by Mines, Richman, and Ruitenburg
Henri Lombardi
The book "A Course in Constructive Algebra" (1988) shows the way of understanding classical basic algebra in a constructive style similar to Bishop's Constructive Mathematics. Clas…
math.HO2017
Roger Apéry: humour at the service of a free and original thinking on constructive mathematics
Henri Lombardi, Stefan Neuwirth
This article is an invitation to read a famous text of Roger Ap{é}ry, "Math{é}matique constructive", published in the book "Penser les math{é}matiques: s{é}minaire de philosophie e…