Conference in Mathematical Logic London 70 (Springer, 1972)