Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Three Magical Books of Solomon: The Greater and Lesser Keys ...
Aleister Crowley & S. L. Macgregor Mathers & F. C. Conybear
The C Programming Language
Ritchie & Kernighan
René Girard Jean-Michel Oughourlian Guy Lefort
Things hidden since the foundation of the world-Stanford University ...
Nicholas of Cusa on Learned Ignorance: A Translation and an ...
Cardinal Nicholas (of Cusa) & Jasper Hopkins