Factfulness
Hans Rosling & Ola Rosling & Anna Rosling Rönnlund
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)
The Logic of Chemical Synthesis
Corey E.G., Chelg X.
Maps of Meaning: The Architecture of Belief
Jordan B. Peterson