シークエント計算体系G3 - Internet Explorer 2.0

シークエント計算体系G3

古典論理の体系は古典論理のシークエント計算体系G3c