Foundation mathematics - Booth Dexter J. (Addison-Wesley Longman, 1998)