Modern Logic, a survey. Historical, philosophical, and mathematical aspects of modern logic and its applications. - Agazzi, Evandro (Synthese Library, 1981)