Thinking machines : a Layman's introduction to logic, Boolean algebra and computers - Adler, Irving (Signet science library book ;, 1964)