Mathematical Logic C by Rene Cori & Daniel Lascar