clarendon press, oxford: oxford logic guides 49