What does Beweistheorie mean?

Beweistheorie - German to English

proof theory