A profile of mathematical logic - Delong, Howard (London Addison-Wesley Publishing, 1971)