現代論理学
1～2日で出荷、新刊の場合、発売日以降のお届けになります
論理学は、哲学や数学基礎論だけでなく、
情報理論、計算機科学、電子工学、数理言語学でも不可欠。
現代論理学の基本的なトピックを選び、
命題論理学、述語論理学、形式的数論、帰納的関数、不完全性定理について概説する
ロングセラーの新装版。
すべての定理に証明つき。ゼロから、ゲーデルの不完全性定理まで学べる定番テキスト。
＊本書は1991年に発行した『現代論理学』の並製新装版です。
お気に入りカテゴリ
よく利用するジャンルを設定できます。
カテゴリ
「+」ボタンからジャンル（検索条件）を絞って検索してください。
表示の並び替えができます。
