Orpheus and the Roots of Platonism
Algis Uždavinys
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
The Model Thinker
Scott E. Page
The C++ Programming Language
Bjarne Stroustrup
The Sworn Book of Honorius: Liber Iuratus Honorii
Honorius Of Thebes