Searching for links to ConstructingTheIntegers:
AllPages
ConstructingTheCountingNumbers
ConstructingTheRationals