Basic concepts of mathematics and logic - Gemignani, Michael C. (Addison-Wesley, 1968)