an introduction to symbolic logic by terence parsons