Thinking machines A layman's introduction to logic,Boolean algebra and Compute - Adler, Irving (New mathematics ed by Irviing Adler, 1965)