Text this: Modern Logic - A Survey :