Proof-Theoretic Semantics: An Autobiographical Survey
Peter Schroeder‐Heister · Outstanding contributions to logic · 2024
In this autobiographical sketch, which is followed by a bibliography of my writings, I try to relate my intellectual development to problems, ideas and results in proof-theoretic semantics on which I have worked and to which I have contributed.