References
Hourya Sinaceur
Alfred Tarski: semantic shift, heuristic shift in metamathematics
2001
Synthese 126/1-2
De la géométrie formelle à l'algèbre abstraite
1992
in: 1830–1930: a century of geometry, Dordrecht : Springer
2001
Synthese 126/1-2
1992
in: 1830–1930: a century of geometry, Dordrecht : Springer