Game Coding Complete
McShaffry, Mike(Author)
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Making of Late Antiquity
Peter Brown
Damascius' Problems and Solutions Concerning First Principles
Damaskios
Linkers and Loaders
John R. Levine
