Email Record: Thinking Machines: a layman's introduction to logic, boolean algebra, and computers