埼玉県立図書館
トップメニュー
資料検索
資料紹介
Myライブラリ
レファレンス
埼玉関係データベース
デジタルライブラリー
トップメニュー
>
キーワード検索
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細蔵書検索
ジャンル検索
1 件中、 1 件目
数理論理学
貸出可
スマリヤン/〔著〕 -- 丸善出版 -- 2014.11 -- 410.96
予約かごへ
本棚へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
請求記号
資料コード
資料区分
帯出区分
状態
久喜
貸閲公開
/410.96/スウ/
102854338
一般和書
帯出可
在館中
※外部書庫の資料につきましては取り寄せとなるため、お時間がかかります。
※帯出区分が「禁帯出」、「禁帯保存」の資料については取り寄せできるものもあります。所蔵館にお問い合わせください。
ページの先頭へ
館別所蔵
館名
所蔵数
貸出中数
貸出可能数
久喜
1
0
1
ページの先頭へ
資料詳細
タイトル
数理論理学
書名カナ
スウリ ロンリガク
副書名
述語論理と完全性定理
副書名カナ
ジュツゴ ロンリ ト カンゼンセイ テイリ
著者
スマリヤン
/〔著〕,
高橋昌一郎
/監訳,
村上祐子
/訳
著者カナ
スマリヤン,レーモンド・M.,タカハシ,ショウイチロウ,ムラカミ,ユウコ
出版者
丸善出版
出版年
2014.11
ページ数
196p
大きさ
21cm
一般件名
記号論理学
NDC分類(9版)
410.96
内容紹介
数学の奇才スマリヤンの集大成とも言える「ロジカル・ラビリンス」の全訳。完全性定理、不完全性定理という、論理学の基礎を学ぶ上でも必須である述語論理について、丁寧にわかりやすく解説。
ISBN
4-621-08785-1
特定資料種別
一般和書
ページの先頭へ
印刷中