Modern Logic ― A Survey | lit.salon