So what are we actually studying?
Logic and Proof Theory
What's the target? Well there are two.
The first one is to have enough understanding as to begin.
The second one is to be able to, get better at using or constructing features of languages and effectively work on (classical and AI).