Intermediate logic - Bostock, David (Clarendon Press ; Oxford University Press, 1997)