Cambridge Summer School In Mathematical Logic Held In Cambridge England August 121 1971