Modern logic--a survey : historical, philosophical, and mathematical aspects of modern logic and its applications / - Agazzi, Evandro. (D. Reidel Pub. Co., 1981)