A Profile of mathematical logic - Delong, Howard (Addison-Wesley, 1970)