証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで

CiNii 所蔵館 131館

書誌事項

タイトル
"証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで"
責任表示
小島寛之著
出版者
  • 技術評論社
出版年月
  • 2017.2
書籍サイズ
19cm
タイトル別名
  • ショウメイ ト ロンリ ニ ツヨク ナル : ロンリシキ ノ ヨミカタ カラ、ゲーデル ノ モンゼン マデ
  • 証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで : 決定版数理論理学の完全解説
  • 証明と論理に強くなる : 論理式の読み方からゲーデルの門前まで

この図書・雑誌をさがす

注記

その他のタイトルはジャケットによる

お勧め文献・参考文献: p346-347

関連図書・雑誌

もっと見る

詳細情報 詳細情報について

  • CRID
    1130000795597323392
  • NII書誌ID
    BB22871983
  • ISBN
    9784774186641
  • 本文言語コード
    ja
  • 出版国コード
    ja
  • タイトル言語コード
    ja
  • 出版地
    • 東京
  • 分類
  • 件名
  • データソース種別
    • CiNii Books
ページトップへ