Cours de logique matematique : RECURSIVITE ET CONSTRUCTIBILITE. TOME 3. - Fraisse, Roland (Gauthier-Villars, Paris, 1975)