1 - Cours de logique mathématique. Tome 3 : Récursivité et constructibilitéFraïssé, Roland (1920-2008)Cote : [05 FRA 76-3]