資料詳細

【図書】数理論理学 ( 現代基礎数学１５ )

鹿島　亮　著 -- 朝倉書店 -- ２００９．１０ -- 410.8

所蔵

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

資料コード	請求記号	所蔵館	所蔵場所	資料区分	状態
105577456	/410.8/22/15	県立図書館	一般開架	和書	在

状態の表記について
   在：「所蔵場所」にあります。
   貸出中：館外へ貸出中です。

   館内閲覧：館内でご利用ください。館外貸出はできません。
   図書館用：館内でご利用ください。図書館（団体）向けに貸し出す資料です。

タイトル	数理論理学
叢書名	現代基礎数学
著者	鹿島　亮　著
出版者	東京　朝倉書店
出版年	２００９．１０
ページ数	２１０ｐ
大きさ	２１ｃｍ
内容細目注記	文献：ｐ２０５～２０６
一般件名	記号論理学
NDC分類	410.8
内容紹介	数理論理学の基本結果であるゲーデルの完全性定理、ゲーデルの不完全性定理、ゲンツェンのＬＫのカット除去定理、直観主義論理のクリプキモデルに対する完全性定理などを、わかりやすくかつ正確に解説する。
ISBN	4-254-11765-3
ISBN13桁	978-4-254-11765-3
定価	￥３３００
本体価格	￥３３００