Bostock, David. <i>Intermediate Logic</i>. Oxford University Press, 1997.