Recursive analysis (Studies in logic and the foundations of mathematics)
Publisher: North-Holland Pub. Co
Published: 1961