The Logician and the Engineer | Paul J. Nahin