Logic Machines and Diagrams
Martin Gardner
McGraw Hill
Traces the development of logic machines from diagrams of logical statements to modern computers and discusses the fundamentals of mathematical logic