Engines of Logic: Mathematicians and the Origin of the Computer
The Longman Standard History of 20th Century Philosophy
The Little Prince
The Dawn of Software Engineering: from Turing to Dijkstra
The Universal Computer: The Road from Leibniz to Turing
Modern Programming Languages: A Practical Introduction
Interactive Computer Graphics: A Top-Down Approach with Shader-Based OpenGL (6th Edition)