Intermediate Logic by Bostock, David Oxford University Press