The problem is in the foundational part, Spivak's assumes something but doesn't explicitly state it. For example, he assumes some elementary algebraic rules, such as if a=b, a+c=b+c, and then use them to proceed his proof. That's not rigorous enough compared with Apsotol's. As to the logical...