Beginning Mathematical Logic: A Study Guide
Peter Smith
Clean Code: A Handbook of Agile Software Craftsmanship
Robert C. Martin
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Statistical Rethinking: A Bayesian Course With Examples in R ...
Richard McElreath
Recommender Systems: The Textbook
Charu C. Aggarwal