Modern Logic—a survey. Historical, Philosophical, and Mathematical Aspects of Modern Logic and its Applications. Edited by Evandro Agazzi