Title: The power of interaction
Subjects: Proof theory, Beweistheorie, Bewijstheorie, Computabilidade e modelos de computacao