Books about science and technology.
Systems of Logic Based on OrdinalsBy A. M. Turing ,1938 (The man that laid much of the foundation of the modern computer.) (A dissertation presented to the faculty of Princeton University in candidacy for the degree of Doctor of Philosophy)Some heavy reading no doubt and don't worry if you cannot stomac this.