Livres en français

De Philippe Ithier

2 résultats

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

Le grand renoncement : du langage à la logique