Modern logic--a survey | lit.salon