Logic : a very short introduction - Priest, Graham (Array, 2000)