Alfred Tarski

semantic shift, heuristic shift in metamathematics

2001

Hourya Sinaceur

Synthese 126

De la géométrie formelle à l'algèbre abstraite

1992

Hourya Sinaceur

in: 1830–1930: a century of geometry, Berlin,