現代論理学 新装版/安井邦夫

著者名:安井邦夫 
出版社名:世界思想社

---

論理学は、哲学や数学基礎論だけでなく、
情報理論、計算機科学、電子工学、数理言語学でも不可欠。
現代論理学の基本的なトピックを選び、
命題論理学、述語論理学、形式的数論、帰納的関数、不完全性定理について概説する
ロングセラーの新装版。
すべての定理に証明つき。ゼロから、ゲーデルの不完全性定理まで学べる定番テキスト。
＊本書は1991年に発行した『現代論理学』の並製新装版です。

※本データはこの商品が発売された時点の情報です。