情報科学における論理 の商品レビュー

小野寛晰(著者)

2022/11/22

命題論理・述語論理についてある程度理解している人向けで，特に第3章以降の内容については専門書に挑戦するための本と言える。

2012/01/14

論理の勉強の参考書として読もうとしました。
　ヒルベルトの体系
　ゲンツェンの自然演繹の体系, sequent計算の体系
という古典的な事項についても、まだ体得していません。

何がわかったら、わかったといってもいいかが、わかっていません。