Livres en français

De Philippe Ithier

2 résultats

Le grand renoncement : du langage à la logique

Théorie de la récursivité pour la métamathématique