日本大学芸術学部OPAC

ようこそ  ゲスト さん

<図書>

ショウメイ ト ロンリ ニ ツヨクナル : ロンリシキ ノ ヨミカタ カラ、ゲーデル ノ モンゼン マデ

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

(知の扉シリーズ)
データ種別 図書
出版者 東京 : 技術評論社
出版年 2017.2
大きさ 351p ; 19cm
別書名 その他のタイトル:証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで : 決定版数理論理学の完全解説
異なりアクセスタイトル:証明と論理に強くなる : 論理式の読み方からゲーデルの門前まで
著者標目 小島, 寛之(1958-) <コジマ, ヒロユキ>
目次

所蔵情報を非表示

配架場所 巻 次 請求記号 資料番号 状 態 コメント ISBN 刷 年 利用注記 検索結果メモ 原簿番号
一般図書
410.96||Ko39 F0000426004
9784774186641

16102483

書誌詳細を非表示

一般注記 その他のタイトルはジャケットによる
お勧め文献・参考文献: p346-347
件 名 BSH:記号論理学
BSH:証明(数学)
分 類 NDC8:410.96
NDC9:410.96
書誌ID 1000286973
NCID BB22871983 WCLINK
ISBN 9784774186641
本文言語 日本語
巻冊次 ISBN:9784774186641 ; PRICE:1780円+税

検索結果一覧に戻る ページトップ