oxford university press, oxford: oxford texts in logic 2