小野寛晰『情報科学における論理』
私感
論理学についての本
特徴として，シークエント計算を中心に据えて様相論理などを解説している
良い本であることは認めるが，記法や組版が古く表示が洗練されておらず，とくに↑のことに興味がないならあんまり人にオススメすることは無いと思う