Cours de logique mathématique Tome 1 — Roland Fraïssé