Refine Your Search
Book List
1
-
Théorie de la récursivité pour la métamathématique / Raymond M. Smullyan ; trad. de l'amglais par Ph. Ithier.
- BnF 765753
- Smullyan, Raymond M.
- Masson,
- 1995.
- Paris :