Modern logic - a survey Historical, philosophical, and mathematical aspects of modern logic and its applications - Agazzi, Evandro 1934- (Reidel, 1981)