Usually, each maths textbook defines the syntax used within at the start and then ‘rewrites’ all proofs in that particular syntax. Since syntax – as opposed to

Usually, each maths textbook defines the syntax used within at the start and then ‘rewrites’ all proofs in that particular syntax. Since syntax – as opposed to the mathematical facts expressed thereby – is usually considered something not worth learning by heart, I doubt that you will find a book that collects proofs in their syntax of original publication and then explains that syntax.