3 works on record
Epistemologie du Dedans
Duality in 19th and 20th Century Mathematical Thinking
Ideaux de Preuves