An introduction to non-classical logic from if to is - Priest, Graham 1948- (Cambridge Univ. Press, 2010)