1
by Gandy, R. O.
Published 1971
North-Holland Pub. Co.
...Studies in logic and the foundations of mathematics...