Summer School in Mathematical Logic, University of Leicester 1965