Logic a very short introduction - Priest, Graham 1948- (Very short introductions, 2017)