How can I start to learn proof theory? I'm studying computer science and I realized that I have problems in working with mathematical proofs. They are for example part of my class Formal Systems and Automata. I'm really interested in learning proof theory, but I have no clue where to start and what to learn first.
Could you please give me an advice and also point me to, for example, some literature?

Note that proof theory isn't the study of how to write an informal proof, its the study of certain logical calculi and the proofs they accept/reject. If I understand correctly, this isn't what you're looking for.
You want something more like:


*

*How To Prove It

*How To Think Like A Mathematician

*Mathematical Proofs: A Transition To Advanced Mathematics
Good luck.
