Bostock, D. (1997). <i>Intermediate logic</i>. Oxford University Press.