Machine generated authority record

Work cat.: (UA-OsUOA)576872: Peter Schroeder-Heister on Proof-Theoretic Semantics