Designing Games: A Guide to Engineering Experiences
Tynan Sylvester
Nicholas of Cusa's on Learned Ignorance: A Commentary on De ...
Karsten Harries
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Practical Foundations for Programming Languages
Robert Harper
The Count of Monte Cristo, Illustrated
Alexandre Dumas