Metadata
Author: WikiMatrix
Data
English[en]
Together, the presentation of natural deduction and the sequent calculus introduced the fundamental idea of analytic proof to proof theory.
Korean[ko]
자연 연역과 시퀀트 계산의 등장은 증명 이론의 해석적 증명(analytic proof)의 기초적 개념을 제시한 것이기도 하다.