All I looked at was Code Section 30D, which starts out "There shall be allowed as a credit against the tax imposed by this chapter . . ."  That's in Chapter 1, which includes the income tax paid by nonresident aliens (in Subchapter N).