• 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