Carbon Nanotubes Advanced Topics in the Synthesis, Structure, ...
Ado Jorio, Ado Jorio, Gene Dresselhaus, Mildred S. Dresselhaus
The Drunkard's Walk
Leonard Mlodinow
Galileo's Error: Foundations for a New Science of Consciousness
Philip Goff
Practical Foundations for Programming Languages
Robert Harper
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program