Théorie de la récursivité pour la métamathématique — Raymond M. Smullyan