Author: Summer School in Mathematical Logic (1965 University of Leicester)