You are about to access our book library "What Logics Mean: From Proof Theory to Model-Theoretic Semantics full version" .