soundness theorem and completeness theorem (bgm38)

6年3月前 via web