Logic Colloquium '69 : proceedings of the summer school and colloquium in mathematical logic, Manchester, august 1969 - Summer School and Colloquium in Mathematical Logic (1969 : Manchester ); Gandy, R. O; Yates, C. M. E (Amsterdam : North-Holland Pub., 1971)
Keywords: Logic, symbolic and mathematical -- Congresses