proof-theoretic semantics

英 美
  • 证明理论语义学
  • proof n.证明;证据;校样adj.防...的;耐...的vt.检验;给...做防护措施
  • semantics n.语义学;符号学
  • theoretic adj.理论上的;空谈的=theoretical.