- 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