Introducing Logic: A Graphic Guide | 
pickIt is short and illustrated with nice artworks. It uses a historical approch to logic. From Aristotle to Turing and Chomsky many ideas are explored. These include Greek paradoxes, the scientific method, proof theory, Gödel's incompleteness theorem, relativism, intuitionism and several others.
My main take on the book is that is doesn't explore these ideas in any detail, it merely let's you know of their existence with a very short summary.
2 likes