資料詳細

  • 1 件中、 1 件目

スマリヤン数理論理学 貸出可

Ｒａｙｍｏｎｄ　Ｓｍｕｌｌｙａｎ／〔著〕 -- 丸善出版 -- 2014.11 -- 410.96

資料が貸出中のときは「予約かごへ」が表示され、貸出の予約ができます。

所蔵

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
県立 部門 /4109/0028/ 1115005934 一般 利用可 在架 iLisvirtual

ページの先頭へ

資料詳細

タイトル スマリヤン数理論理学
副書名 述語論理と完全性定理
著者 Ｒａｙｍｏｎｄ　Ｓｍｕｌｌｙａｎ ／〔著〕, 高橋　昌一郎 ／監訳, 村上　祐子 ／訳  
出版者 丸善出版
出版年 2014.11
ページ数 １９６ｐ
大きさ ２１ｃｍ
一般件名 記号論理学
NDC分類(10版) 410.96
NDC分類(9版) 410.96
内容紹介 誰にでも理解できる論理パズルから出発し、命題論理から一階述語論理、完全性定理から不完全性定理への道筋を明快かつ厳密に示したテキスト。数学の奇才スマリヤンの集大成。
ISBN 4-621-08785-1
ISBN13 978-4-621-08785-5
資料URL https://www.lib.pref.miyazaki.lg.jp/winj/opac/switch-detail.do?id=1101948486

ページの先頭へ