proof theory

Referenced in:

• proof-theory
• Mathematical-Logic