Profile of mathematical logic - Delong, Horward (Addison-Wesley Publishing Company, 1970)