証明論(5) TOPに戻る

証明論 (1): 証明論とは何か。 (2014-01-16)
証明論 (2): シーケント計算の導入、およびカット除去定理の紹介とそのありがたみ (2014-02-04)
証明論 (2.5): シーケント計算のルール (2014-02-06)
証明論 (2.75): 記法についてじゃっかんの補足 (2014-02-09)
証明論 (3): カット除去定理の証明 (1) (2014-03-05)