Lectures on Logic - pocket, Engelsk, 2004