このページのリンク

利用統計

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

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

<図書>
証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで
ショウメイ ト ロンリ ニ ツヨク ナル : ロンリシキ ノ ヨミカタ カラ、ゲーデル ノ モンゼン マデ

責任表示 小島寛之著
シリーズ 知の扉シリーズ
データ種別 図書
出版者 東京 : 技術評論社
出版年 2017.2
本文言語 日本語
大きさ 351p ; 19cm

所蔵情報


理系図1F 開架 031112017005390 410.96/Ko 39 2017

書誌詳細

別書名 その他のタイトル:証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで : 決定版数理論理学の完全解説
異なりアクセスタイトル:証明と論理に強くなる : 論理式の読み方からゲーデルの門前まで
一般注記 その他のタイトルはジャケットによる
お勧め文献・参考文献: p346-347
著者標目 小島, 寛之(1958-) <コジマ, ヒロユキ>
件 名 BSH:記号論理学
BSH:証明(数学)
分 類 NDC8:410.96
NDC9:410.96
書誌ID 1001645461
ISBN 9784774186641
NCID BB22871983
巻冊次 ISBN:9784774186641 ; PRICE:1780円+税
登録日 2017.11.10
更新日 2017.11.10

類似資料

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