Title: ISILC Proof Theory Symposion
Subjects: Bibliography, Congresses, Proof theory, Bibliographie, Preuve, Théorie de la, Congrès, Beweistheorie, Bibliografie, Logik, Mathematische Logik, Kongress
People: K. Schütte