Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)
The Oxygen Advantage: The Simple, Scientifically Proven Breathing ...
Patrick McKeown
Philosophy of Mathematics
Linnebo, Øystein
Collision Detection in Interactive 3D Environments
Gino van den Bergen
Euclid's Elements of Geometry
Richard Fitzpatrick, University of Texas at Austin