I am not very experienced with the details of processing TEX. I just use it for mathjax, and a few short missives, from time to time.
The book is Space—Time—Matter, by Hermann Weyl, found here in both TEX and pdf http://gutenberg.org/ebooks/43006
I have a copy of the German language original for comparison. The translation has at least 100 typos in the mathematical expressions. I would like to fix them, but I don't know what it would take to process the corrected tex file. I would also like to use a tool such as LyX to make editing easier. But that is not essential.