Cambridge summer school in mathematical logic. - Mathias A R D (New York Springer-Verlag, 1973)