Bibliographie
J. P. Azra & B. Jaulin, Récursivité, Gauthier-Villars, Paris, 1973
J. Barwise, Admissible Sets and Structures, Springer, New York-Berlin, 1976
R. Fraissé, Cours de logique mathématique, t. III : Récursivité et constructibilité, Gauthier-Villars, 1975
H. Rogers Jr., Theory of Recursive Functions and Effective Computability, M.I.T. Press, Cambridge (Mass.), 1987
D. Lacombe, Propriétés récursives des structures énumérées, Publ. de l'institut Blaise-Pascal, Paris
Recursive Function Theory, Symposium, American Mathematical Society, Providence (R.I.), 1979.
Retour en haut
… pour nos abonnés, l'article se prolonge sur 13 pages…
