A Philosophical Introduction
1993
The First Electronic Computer
2006
Turing, Gödel, Church, and Beyond
2013
2017
Pioneer of the Information Age
2012
