< Index
List of books I own
Mathematics/Philosophy of Mathematics
- Rudin. Principles of Mathematical Analysis, Third Edition.
- Ebbginhaus, Flum, Thomas. Mathematical Logic, Third Edition.
- Ross. Elementary Analysis: The Theory of Calculus, Second Edition.
- Axler. Linear Algebra Done Right, Fourth Edition.
- Russel. Introduction to Mathematical Philosophy.
- Velleman. How to Prove It: A Structured Approach, Third Edition.
- Hirsch, Smale. Differential Equations, Dynamical Systems, and Linear Algebra.
- Buck. Advanced Calculus.
- Tao. Analysis I, Fourth Edition.
- Leon. Linear Algebra with Applications, Ninth Edition.
- Lay. Linear Algebra and its Applications.
- Cummings. Real Analysis: A Long-Form Mathematics Textbook.
- Cummings. Proofs: A Long-Form Mathematics Textbook.
- Stewart. Calculus: Early Transcendentals, Fourth Edition.
- Stewart. Calculus, Eighth Edition.
Sciences
- Ladyman. Understanding Philosophy of Science.
- Bohr, Einstein, Heisenberg, Planck, & Schrodinger. Quantum Theory: With a New Introduction by James Lees. Great Works that Shape Our World.
Logic
- forall x: Calgary. Libre text distributed by Open Logic Project
- Zach. Sets, Logic, Computation. Libre Open Logic Project text.
- Priest. An Introduction to Non-Classical Logic, Second Edition.
- Bergmann, Moor, Nelson. The Logic Book, Sixth Edition.
- Anderson, Johnstone. Natural Deduction.
- Carney, Scheer. Fundamentals of Logic, Third Edition.
- Prawitz. Natural Deduction: A Proof-Theoretical Study.
Chess
- Kasparov. Kasparov Against the World.
- Vukovic. Art of Attack in Chess.
- Sterren. Fundamental Chess Openings.
Computers
- Negus. Linux Bible: The Comprehensive, Tutorial Resource, Ninth Edition.
- Kernighan, Ritchie. The C Programming Language, Second Edition.
- Robbins, Hannah. Learning the vi and Vim Editors, 8th Edition.
- Farrell. Programming Logic and Design: Comprehensive, Sixth Edition.
Misc/too lazy to sort properly
- Plato. Great Dialogues of Plato. Translation by Rouse.
April 24, 2024