述語論理・入門

取り寄せ不可

述語論理の基礎からプログラムの理論までわかりやすく解説する、数理論理学の入門書。読者の理解のために、色々なところに問題を掲載。丁寧に読んでいけば、ほとんどの問題は読者自身で容易に解くことができる。

お気に入りカテゴリ

よく利用するジャンルを設定できます。

カテゴリ

「+」ボタンからジャンル（検索条件）を絞って検索してください。
表示の並び替えができます。