Introduction to Logic - heftet, Engelsk, 2003