Higher Arithmetic - Harold M. Edwards - Bog

Number theory is the equal of Euclidean geometry - some would say it is superior to Euclidean geometry - as a model of pure, logical, deductive thinking. This title explains number theory in a way that gives deductive reasoning, including algorithms and computations, the central role.