Modern logic - a survey historical, philosophical, and mathematical aspects of modern logic and its applications - Agazzi, Evandro (Studies in epistemology, logic, methodology, and philosophy of science, 1981)