Cambridge summer school in mathematical logic held in Cambridge/England, August 1-21, 1971 (Lecture notes in mathematics, 1973)