A friendly introduction to mathematical logic - Leary, Christopher C. (Prentice Hall, 2000)