IMO the extent to which some/most of these books/documents are only tentative suggestions with unclear relevance to the problem should be emphasized, for example they shouldn't be referred to with "After learning these basics", as if the list is definitive and works as some sort of prerequisite.

Also, using the words "deep understanding of mathematics, logic, and computation" to refer to the section with Sipser's introductory text is not really appropriate.