Foundations of Mechanical Accuracy
Wayne R. Moore
Intuitionistic Type Theory
Per Martin-Lof
Early Retirement Extreme: A Philosophical and Practical Guide ...
Jacob Lund Fisker
Beyond Order
Jordan B. Peterson
Hidden Hand
Clive Hamilton & Mareike Ohlberg