A sequence formalization for SCI
暂无分享,去创建一个
This paper can be treated as a simplification of the Gentzen formalization of SCI-tautologies presented by A. Michaels in [1].
暂无分享,去创建一个