How to Solve It: A New Aspect of Mathematical Method
George Polya
The Theology of Arithmetic: On the Mystical, Mathematical and ...
Iamblichus
Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)
Beginning x64 Assembly Programming
Jo Van Hoey
BEING AND TIME
Heidegger