鳥取県立図書館
図書館HP
資料検索
資料紹介
Myライブラリ
ヘルプ
図書館HP
>
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細蔵書検索
ジャンル検索
1 件中、 1 件目
文系のための記号論理入門
利用可
予約かごへ
金子 裕介/著 -- 朝倉書店 -- 2021.5 -- 116.3
SDI
本棚へ
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
請求記号
資料コード
資料区分
帯出区分
状態
鳥取県立
一般
116.3/カネコ/一般
121100384
一般
利用可
ページの先頭へ
資料詳細
タイトル
文系のための記号論理入門
書名ヨミ
ブンケイ ノ タメ ノ キゴウ ロンリ ニュウモン
副書名
命題論理から不完全性定理まで
著者名
金子 裕介
/著
著者ヨミ
カネコ,ユウスケ
出版者
朝倉書店
出版年
2021.5
ページ数等
211p
大きさ
21cm
一般件名
記号論理学
ISBN
4-254-50034-3
ISBN13桁
978-4-254-50034-9
定価
3200円
問合わせ番号(書誌番号)
1120405048
NDC8版
116.3
NDC9版
116.3
NDC10版
116.3
著者紹介
2009年東京大学大学院人文社会系研究科博士課程修了。現在明治大学商学部兼任講師。博士(文学)。(本データはこの書籍が刊行された当時に掲載されていたものです)
ページの先頭へ
内容一覧
タイトル
著者名
ページ
第1部 命題論理の構文論
第2部 命題論理の意味論
第3部 メタ論理
第4部 述語論理の構文論
第5部 反証図
第6部 述語論理の意味論
第7部 応用と実践
第8部 完全性定理
第9部 健全性定理
第10部 不完全性定理
付録
ページの先頭へ