Intermediate Logic - BOSTOCK, David (Oxford Clarendon Press, 1997)
Keywords: Logic, Symbolic and mathematical