Elementary Mathematics: a logical approach - SANDERS, Paul (International Textbook Company, 1969)