本日の授業資料

授業スライド・宿題

こちらから

参考文献

inversion principleといえばこの本。

Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)