1988年初版発行以来27刷を重ねた本を時代に合わせてアップデート！述語理論を詳説！
　本書は、人工知能という分野で行われている議論や研究を理解するために必要な基礎知識の提供を目的として、単に「こういうことがある」という知識ではなく、「なぜこのように考えるのか？」という疑問に答えられる真の理解と実力を身につけられるように構成し、解説する。新たに演習問題とその解答も掲載。

腑に落ちなかったことがシッカリ学べる。
本シリーズは，大学教育において扱われる数学の中から特に重要で興味深いと思われるテーマを抽出し，その基礎概念ならびに応用の点について様々な観点から掘り下げた解説を行う。A5判でありながら側注をもうけ、立体的に理解できる。
情報科学・工学がなくては、現代生活は成り立たなくなっている。この情報科学・工学の論理的基盤が、論理数学である。その守備範囲は大変広く、回路設計からソフトウエア設計、人工知能などほとんどの分野を網羅している。
本書は、多くの例題を本文とともに解くことによりその論理数学の基礎をしっかり学ぶことが出来るよう工夫してある。学生はもとより、技術者が学びなおすのにも最適の書である。