0967ゆりな ◆Ky/cs3er/I 垢版 | 大砲2018/11/11(日) 16:32:51.99ID:h1pE2li5 >>966 自然演繹のためだけに本を買うのは勿体ない気がします。 上の論文が書けるレベルなら私より知能レベルは上だと思うので ネットの情報で十分理解可能かと。 個人的にオススメなテキストは↓です(PDF)。 http://web.sfc.keio.ac.jp/~mukai/modular/gentzen-NK.pdf 証明図についてきちんと定義していますので理解が深まりやすいかと思います。