Basic consepts of mathematics and logic - Michel C Gemignani (Addison Wesley, 1968)