『ゲンツェンの自然演繹法』
ゲンツェンの自然演繹法
ゲンツェン
自然演繹
命題論理
古典論理
のNK
直観主義論理
のNJ
シーケント計算
#文献