Title: Modern Logic ― A Survey