専修大学図書館

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

小島寛之著. -- 技術評論社, 2017. -- (知の扉シリーズ). <BB01038917>
登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~1件(全1件)

No. 所蔵館 配置場所 文庫名 請求記号 巻号 年月次 資料ID 状態 返却予定日 予約
0001 本館 4F第2開架閲覧室 K/410/Ko39 110516010 配架済 0件
No. 0001
所蔵館 本館
配置場所 4F第2開架閲覧室
文庫名
請求記号 K/410/Ko39
巻号
年月次
資料ID 110516010
状態 配架済
返却予定日
予約 0件

書誌詳細

タイトル・著者名 証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで / 小島寛之著
ショウメイ ト ロンリ ニ ツヨク ナル : ロンリシキ ノ ヨミカタ カラ、ゲーデル ノ モンゼン マデ
出版 東京 : 技術評論社 , 2017.2
形態事項 351p ; 19cm
巻号情報
ISBN 9784774186641
シリーズ 知の扉シリーズ||チ ノ トビラ シリーズ <BB00560939>//a
その他のタイトル その他のタイトル:証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで : 決定版数理論理学の完全解説
ショウメイ ト ロンリ ニ ツヨクナル : ロンリシキ ノ ヨミカタ カラ ゲーデル ノ モンゼン マデ : ケッテイバン スウリ ロンリガク ノ カンゼン カイセツ
その他のタイトル 異なりアクセスタイトル:証明と論理に強くなる : 論理式の読み方からゲーデルの門前まで
ショウメイ ト ロンリ ニ ツヨク ナル : ロンリシキ ノ ヨミカタ カラ ゲーデル ノ モンゼン マデ
注記 その他のタイトルはジャケットによる
注記 お勧め文献・参考文献: p346-347
NCID BB22871983
本文言語コード 日本語
著者標目リンク 小島, 寛之 (1958-)||コジマ, ヒロユキ <AU00231668>
分類標目 数学 NDC8:410.96
分類標目 数学 NDC9:410.96
件名標目等 記号論理学||キゴウロンリガク
件名標目等 証明(数学)||ショウメイ(スウガク)