Notes

Includes notes and transcripts from textbooks, research papers, etc. I typically redact my transcriptions from academic textbooks.

Modern Mathematical Logic Notes on J Mileti's textbook on mathematical logic. Mathematics Logic
Jun 2025 Ongoing
The Tao of Types My notes on Thorsten's book on type theory. Mathematics Computer Science
Apr 2025 Ongoing
Algebra: Notes from the Underground My notes on Aluffi's book on abstract algebra. Mathematics
Feb 2025 Ongoing
Classical Mechanics My notes on R Taylor's classical mechanics textbook. Mathematics Physics
Aug 2024 Ongoing
Calculus: I My notes on Tom Apostol's calculus book. Mathematics
Jan 2024 Ongoing