Logic - A very short introduction, by Graham Priest