NOVA Math Publications Algebra and Logic Book Chapter Kahle,R Advances in Proof-Theoretic Semantics. Trends in Logic 2016 43 153-160 Tags : Algebra and Logic
