Code The Hidden Language of Computer Hardware and Software
Charles Petzold
Intuitionistic Type Theory
Per Martin-Lof
Causality, Electromagnetic Induction, and Gravitation: A Different ...
Oleg D. Jefimenko
Conversations of Socrates (Classics)
Xenophon
Anti-Tech Revolution: Why and How
Theodore John Kaczynski