Advances in Proof-Theoretic Semantics - Piecha, Thomas; Schroeder-Heister, Peter (Trends in Logic, 2016)
Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages