Modern Logic--a Survey door Agazzi, Evandro