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
But is there a book or a survey journal paper devoted to this?