A profile of mathematical logic - De Long, Howard (Addison-Wesley, 1970)