Title: Beweistheorie
Subjects: Metamathematics, Proof theory, Logique, Mathématiques, Lógica matemática, Teoria da demonstração