Intermediate Logic, Student Edition