Logic : a very short introduction - Priest, Graham, 1948- (Very short introductions ;, 2000)