Elementary mathematics : A logical approach - Paul Sanders (International Textbook, 1964)