A Grammar of Logic - pocket, Engelsk, 2017