1
by Priest, Graham
Published 2010
Clarendon

2
by Beall, J. C.
Published 2009
Oxford University Press