Title: Wahrheit und Beweisbarkeit
Subjects: Proof theory, Symbolic and mathematical Logic, Truth