Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)
Book of Proof
Richard Hammack
The Salt Fix
Dr. James DiNicolantonio
Game Programming Gems 4
Andrew Kirmse
No bullshit guide to linear algebra
Ivan Savov