Modern logic - a survey : historical, philosophical and mathematical aspects of modern logic and its applications / ed. by Évandro Agazzi. - Agazzi, Évandro (1934- ). (Synthese Library, 1981)