Cartesian Logic. - Gaukroger Stephen (New York Clarendon Press, 1989)