Thinking machines : a layman's introduction to logic, boolean algebra and computers - Adler, Irving, 1929-2002 ((Signet science library books ;, 1961)