Intermediate logic - Bostock, David (Clarendon Press, 1997)