Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Statistical Rethinking: A Bayesian Course With Examples in R ...
Richard McElreath
Introduction to the Theory of Computation (Third Edition): Ji ...
Michael Sipser
Book of Proof
Richard H. Hammack
Filtering and System Identification: A Least Squares Approach
Michel Verhaegen & Vincent Verdult