Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)
Four Thousand Weeks: Time Management for Mortals
Oliver Burkeman
The Model Thinker
Scott E. Page
The Cratylus, Phaedo, Parmenides and Timaeus of Plato. Translated ...
Plato
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar