An introduction to non-classical logic - Priest, Graham (Cambridge University Press, 2001)