Author: Conference in Mathematical Logic Bedford College 1970.