このページのリンク

利用統計

  • このページへのアクセス:26回

  • 貸出数:7回
    (1年以内の貸出数:0回)

<図書>
論理学は数学の役に立つか? : 新しい論理学の構築
ロンリガク ワ スウガク ノ ヤク ニ タツカ : アタラシイ ロンリガク ノ コウチク

責任表示 本橋信義著
データ種別 図書
出版者 東京 : 遊星社
出版者 東京 : 星雲社 (発売)
出版年 2006.10
本文言語 日本語
大きさ 222p ; 21cm
目次 1章 法則型推論の一般論(条件—機能と表現
情報量と法則型推論 ほか)
2章 法則型推論の個別理論(集合論理
命題論理 ほか)
3章 事象型推論の一般論(基本定理
証明に関する二つの予想 ほか)
4章 事象型推論の個別理論(「ルート2は無理数である。」の証明
素数約数の存在定理 ほか)

所蔵情報


理系図1F 開架 031112007008800 410.96/Mo 83 2006

書誌詳細

著者標目 本橋, 信義(1943-) <モトハシ, ノブヨシ>
件 名 BSH:記号論理学
分 類 NDC8:410.96
NDC9:410.96
書誌ID 1001322742
ISBN 4434085816
NCID BA78997038
巻冊次 ISBN:4434085816 ; PRICE:2400円+税
登録日 2009.09.18
更新日 2009.09.18

類似資料

この資料を見た人はこんな資料も見ています