axiomatic semantics

denotational / operational / axiomatic 수학 정의/기계 절차/논리 증명 직접형/과정형/논리형 무엇/어떻게/왜 이렇게 대비해보고 이해할 수 있지 않을까요?