Co-written with Warren Weaver, this 1963 book (based on a 1948 paper) extended the basis for modern computing using Boolean logic, as well as transmission of information over communication channels.