Nicely said. Bear in mind though that logic books and their proofs generally rely on a 'stack' as well. You prove a theorem and then you're able to use that t

Nicely said. Bear in mind though that logic books and their proofs generally rely on a 'stack' as well. You prove a theorem and then you're able to use that theorem in your proofs going forward - with the theorem itself being used as the justification. From a pedagogical standpoint - the act of writing that justification is enormously valuable since the book will also have an index where you can quickly look up a theorem if you've forgotten the basics of it. Perhaps the difference is more in the fact that maths textbooks will often rely on theorems proved in other mathematical contexts (where it doesn't make sense to provide the proof in the context currently being explored). The problem being that there can be no reliable way to index that information. Logic textbooks, however, present systems that are much more self-contained (if not completely).