Cartesian Logic C by Stephen Gaukroger