**Gödel's Proof**(full text also available through Tisch Library)**LaTeX Quick Start Guide:**here- Website that looks up
**LaTeX symbols**based on drawn input **Decidability Proof Examples:**EverPrintTM, HaltTM, ETM**Complexity Proof Examples:**3SAT**The Annotated Turing**(full text available through Tisch Library)**Online FSA Designer****Logicomix:**An Epic Search for the Truth**Infinity Doesn't Exist:**Blog post