An introduction to non-classical logic - Priest, Graham 1948- (Cambridge Univ. Press, 2001)