Discussions and announcements on proof theory


§