Review: W. A. Wallace, Logic, Symbolic