Philosophy of Mathematics
Linnebo, Øystein
Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)
The Thirteen Books of Euclid's Elements
Euclid, Johan Ludvig Heiberg
The Toxin Solution
Joseph Pizzorno
AI Game Programming Wisdom 4
Steve Rabin