Math Logic:cours Exer Vol 2 C by Rene Cori & Daniel Lascar