なんとなく，"Natural Deduction: A Proof-theoretical Study"(Prawitz, Dag. Dover Publications, 2006)を読みはじめてみた…