2013-04-01 参考書等 小野寛晰『情報科学における論理』(日本評論社)ISBN:4535608148 Dag Prawitz 『Natural Deduction: A Proof-Theoretical Study』(Dover Publications)ISBN:0486446557