Logic colloquium '69 proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August 1969
Summer School and Colloquium in Mathematical Logic1969Manchester.
Gandy, Robin Oliver.
Yates, Charles Edmund Michael.
Amsterdam London North-Holland Publishing Co.
1971
Logic, Symbolic and mathematical
Logic, Symbolic and mathematical