pdf版はこちらからダウンロード可能です。前期の宿題の大部分を提出していない学生は、以下のどちらかについてレポートをまとめ、1/15 までに提出すること*1 (A) Tonk が論理結合子として認められない理由について述べ、（一つの言語と体系を固定した状況で…