Logic Machines & Diagrams
by Martin Gardner
Category: Philosophy

Traces the development of logic machines from diagrams of logical statements to modern computers and discusses the fundamentals of mathematical logic