1
by Kleene, Stephen Cole
Published 1965
North-Holland
...Studies in Logic and the Foundations of Mathematics...