資料詳細

【図書】 文系のための記号論理入門

命題論理から不完全性定理まで --
金子裕介／著 -- 朝倉書店 -- ２０２１．５ -- ２１ｃｍ -- ２１１ｐ

タイトル	文系のための記号論理入門
副書名	命題論理から不完全性定理まで
著者名等	金子裕介／著
出版	朝倉書店２０２１．５
大きさ等	２１ｃｍ２１１ｐ
分類	116.3
件名	記号論理学
注記	索引あり
著者紹介	２００９年東京大学大学院人文社会系研究科博士課程修了。現在明治大学商学部兼任講師。博士（文学）。（本データはこの書籍が刊行された当時に掲載されていたものです）
目次	第１部　命題論理の構文論；第２部　命題論理の意味論；第３部　メタ論理；第４部　述語論理の構文論；第５部　反証図；第６部　述語論理の意味論；第７部　応用と実践；第８部　完全性定理；第９部　健全性定理；第１０部　不完全性定理；付録
ISBN(13)、ISBN	978-4-254-50034-9　　 4-254-50034-3
書誌番号	1113873900
URL	https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113873900

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	５階人文科学 Map		116.3	一般書	利用可	-	2070564524