soundness theorem and completeness theorem (bgm38)

6年2月前 via web