Logic: a very short introduction - Priest, Graham; Author (Very short introductions, 2008)