Foundation mathematics - Booth, Dexter J (Addison-Wesley, 1994)