Text this: Modern logic, a survey :