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.
The Tao of Types
My notes on Thorsten's book on type theory.
Algebra: Notes from the Underground
My notes on Aluffi's book on abstract algebra.
Classical Mechanics
My notes on R Taylor's classical mechanics textbook.
Calculus: I
My notes on Tom Apostol's calculus book.