1 - Cours de logique mathématique. Tome 3 : Récursivité et constructibilité |
2 - General recursion theory : an axiomatic approach |
3 - Generalized recursion theory : proceedings of a symposium held at the University of Oslo, 12--16 June 1972 |
4 - Lehrbuch der Funktionentheorie. Band I : Elemente der Funktionentheorie |
5 - Logique mathematique, cours et exercices. II : fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles - 2ème tirage corrigé |
6 - Recursion-theoretic hierarchies |
7 - Recursive analysis |
8 - Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus |
9 - Recursiveness |
10 - Récursivité |