Axiomatic analysis : an introduction to logic and the real number system - Katz, Robert, 1922- (Heath, 1964)