Logic year. 1979 - 80. The University of Connecticut, USA - Baldwin, John T. (Lecture notes in mathematics, 1981)