I am looking for a taxonomy of proof methods in mathematics.

For basic proof methods I would think of proof by contradiction, mathematical induction, structural induction (yes I am a computer scientist), proof by symmetry, proof by duality

for advanced proof methods, forcing comes to my mind.

For a starter, I have found

TAPTICS: A Taxonomy of Proof Techniques In Computer Science

But is there a book or a survey journal paper devoted to this?

How to Solve It(1945) by G. Pólya. $\endgroup$ – Igor Khavkine 2 days ago