Mathematical Logic C door Rene Cori & Daniel Lascar