Methods in mathematical logic - Prisco, C. A. di (Lecture Notes in Mathematics, 1130, 1985)