What is the name of the branch of math that has to do with reasoning and proof?

Mathematical logic and proof theory (a branch of mathematical logic) for proof