Sipser is one of the best textbooks of all time from any field