Modern Logic--a Survey by Agazzi, Evandro