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