Elementary mathematics : a logical approach - Sanders, Paul (International Textbook, 1969)