论自由证明规则的构建
론자유증명규칙적구건
Construction of Free Proof Rules