Text this: Modern logic - a survey