Title: Proof-theoretic semantics
Subjects: Symbolic and mathematical Logic, Proof theory, Semantics