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