Source: wikibot/proof-theoretic-semantics

= Proof-theoretic semantics
{wiki=Proof-theoretic_semantics}