LOGICOMIX

This is going to be a short post, because I am going to run off and read my new discovery until I fall asleep. I’ve just found LOGICOMIX [shouting in the original], courtesy of Cédric Eyssette. LOGICOMIX is a comic book about the history of the foundations of mathematics and logic. Now I am going to go and revel in it.