Linear Algebra Done Right
Sheldon Axler
A brief introduction to type theory and the univalence axiom
Jackson Macor
The Essential Cantong qi
Golden Elixir Press
The Drunkard's Walk
Leonard Mlodinow
The Making of Late Antiquity
Peter Brown
