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