Title: Isilc - Proof Theory Symposion
Subjects: Congresses, Bibliography, Proof theory