Here is a very nice copy of The Logic of Computer Arithmetic by Ivan Flores, 1963 hardback. Has typical ex. library markings.