Review: A. H. Basson, D. J. O'Connor, Introduction to Symbolic Logic