A brief introduction to type theory and the univalence axiom
Jackson Macor
7 Habits of Highly Effective People: The Ultimate Revelations ...
Stephen R. Covey
Aristotelis Categoriae: Liber De Interpretatione
Aristotle
Game Programming Gems 7
Scott Jacobs
The Sworn Book of Honorius: Liber Iuratus Honorii
Honorius Of Thebes
