Review: Robert M. W. Dixon, A Logical Statement of Grammatical Theory as Contained in Halliday's `Categories of the Theory of Grammar.'; Robert M. W. Dixon, Linguistic Science and Logic