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

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