The Logic of Computer Arithmetic (1963) | NiceBooksReads