Email Record: Mathematical logic / edited by R.O. Gandy and C.E.M. Yates ; including prefaces by Solomon Feferman [and others].