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