Math Logic:cours Exer Part 1 P door Rene Cori & Daniel Lascar