Foundations of mathematics - Bittinger, Marvin L. (Pearson Addison Wesley, 2004)