論理学はなんといっても小野寛晰『情報科学における論理』だな。