Logic Colloquium '69 Proceedings of the Summer school and Colloquium in Mathematical Logic, Manchester, August 1969 - Logic Colloquium Manchester, England) (1969; Gandy, R. O.; Yates, C. E. M. (Amsterdam North-Holland, 1971)
Keywords: Logic, Symbolic and mathematical -- Congresses