2009-01-06 ■ 注文文献 注文文献 以下の文献を注文。 A.S. Troelstra Lectures on Linear Logic, CSLI Publications, CSLI Lecture Notes, 1992