資料詳細

  • 1 件中、 1 件目

【図書】 論理学は数学の役に立つか？

新しい論理学の構築 --
本橋信義 ／著   -- 遊星社 -- ２００６．１０ -- ２１ｃｍ -- ２２２ｐ

資料詳細

タイトル 論理学は数学の役に立つか？
副書名 新しい論理学の構築
著者名等 本橋信義 ／著  
出版 遊星社 ２００６．１０
大きさ等 ２１ｃｍ ２２２ｐ
分類 410.96
件名 記号論理学
注記 索引あり
目次 １章　法則型推論の一般論（条件―機能と表現；情報量と法則型推論　ほか）；２章　法則型推論の個別理論（集合論理；命題論理　ほか）；３章　事象型推論の一般論（基本定理；証明に関する二つの予想　ほか）；４章　事象型推論の個別理論（「ルート２は無理数である。」の証明；素数約数の存在定理　ほか）
ISBN(13)、ISBN 　　 4-434-08581-6
書誌番号 1106074762

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 Map 410.9 一般書 利用可 - 2037599185 iLisvirtual

ページの先頭へ