Arithmetic logic in comput systems hardcover