数理論理学

1～2日で出荷、新刊の場合、発売日以降のお届けになります

数理論理学の諸概念に初めて接する大学２、３年生を対象に、命題論理、述語論理、様相論理を、様々な例題を通してできるだけ容易に解説。述語論理については、論理型言語Ｐｒｏｌｏｇを解説する章を用意した。

お気に入りカテゴリ

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

カテゴリ

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