1
by Karp, Carol
Published 1964
North-Holland
...Studies in Logic and the Foundations of Mathematics...