1
by Kleene, Stephen Cole
Published 1980
North-Holland Pub. Co.
...Studies in logic and the foundations of mathematics...