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