Thinking machines a layman's introduction to logic, boolean algebra, and computers - Adler, Irving (The John Day Company, 1961)