Twos complement is simply=1s complement+1. But there are various proofs, derivations that can be studied in twos complement that leads to faster arithmetic hardware implementation in computer engineering.
For example: Robertson algorithm for multiplication, Booth's algorithm etc.
I am wondering if there are mathematics books(name pls) that cover these derivations as a form of exercises or examples.