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