Methods in mathematical logic : - Di Prisco, C. A. (Lecture notes in mathematics (Springer-Verlag), 1985)