目次
１章 法則型推論の一般論（条件―機能と表現；情報量と法則型推論 ほか）
２章 法則型推論の個別理論（集合論理；命題論理 ほか）
３章 事象型推論の一般論（基本定理；証明に関する二つの予想 ほか）
４章 事象型推論の個別理論（「ルート２は無理数である。」の証明；素数約数の存在定理 ほか）
著者等紹介
本橋信義［モトハシノブヨシ］
１９４３年東京に生まれる。１９６６年東京大学教養学部教養学科卒業。筑波大学教授。理学博士（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
