Cambridge summer school in mathematical logic - Mathias, R.D ed (Lecture notes oin mathematics;337, 1973)