Foundations of analysis : with an introduction to logic and set theory - Clarke, Douglas A., 1930- (Appleton-Century-Crofts, 1971)