Text this: CAT102 - Introduction to Logic and Abstraction August/September 1998