| NCID | BB1734197X |
| タイトル | スマリヤン数理論理学 : 述語論理と完全性定理 / Raymond Smullyan [著] ; 村上祐子訳||スマリヤン スウリ ロンリガク : ジュツゴ ロンリ ト カンゼンセイ テイリ |
| 出版者 | 東京 : 丸善出版 , 2014.11 |
| 形態 | iv, 196p : 挿図 ; 21cm |
| 別書名 | Logical labyrinths
数理論理学 : スマリヤン : 述語論理と完全性定理
|
| 注記 | 監訳: 高橋昌一郎
原著(A.K. Peters, 2009)の後半(Part III-Part VI)の全訳, 前半は『スマリヤン記号論理学』として発行
参考文献: p189-190
索引あり |
| 分類 | NDC8:410.96
NDC9:410.96 |
| 件名 | BSH:記号論理学
|
| 著者情報 | Smullyan, Raymond M., 1919-
村上, 祐子(1968-) (ムラカミ, ユウコ)
高橋, 昌一郎(1959-) (タカハシ, ショウイチロウ)
|
| 和洋区分 | 和 |
| 標題言語 | 日本語 |
| 本文言語 | 日本語 |
| 原作言語 | 英語 |
| 出版国 | 日本 |
| ISBN | 9784621087855
|