Intuitionistic Type Theory
Per Martin-Lof
The Logic of Chemical Synthesis
Corey E.G., Chelg X.
Philosophy as a Rite of Rebirth: From Ancient Egypt to Neoplatonism
Algis Uždavinys
The Making of Late Antiquity
Peter Brown
Zen of Assembly Language: Knowledge
Michael Abrash