Author: Cambridge Summer School in Mathematical Logic 1971.