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
|