Logic : a very short introduction - Priest, Graham (Oxford University Press, 2000)