tex-retypesetting

Unofficial LaTeX re-typesetting of various books/papers for personal readability while studying; only formatting and minor OCR/typo corrections were made.