このページのリンク

<図書>
スマリヤン スウリ ロンリガク : ジュツゴ ロンリ ト カンゼンセイ テイリ
スマリヤン数理論理学 : 述語論理と完全性定理 / Raymond Smullyan [著] ; 村上祐子訳

出版者 東京 : 丸善出版
出版年 2014.11
本文言語 日本語
大きさ iv, 196p : 挿図 ; 21cm
著者標目 Smullyan, Raymond M., 1919-
村上, 祐子(1968-) <ムラカミ, ユウコ>
高橋, 昌一郎(1959-) <タカハシ, ショウイチロウ>
件 名 BSH:記号論理学
一般注記 監訳: 高橋昌一郎
原著(A.K. Peters, 2009)の後半(Part III-Part VI)の全訳, 前半は『スマリヤン記号論理学』として発行
参考文献: p189-190
索引あり
目次/あらすじ

所蔵情報を非表示

3F 図書 図書
410.96//Sm8
9784621087855


5201528838

書誌詳細を非表示

データ種別 図書
別書名 原タイトル:Logical labyrinths
その他のタイトル:スマリヤン記号論理学
異なりアクセスタイトル:数理論理学 : スマリヤン : 述語論理と完全性定理
分 類 NDC8:410.96
NDC9:410.96
書誌ID 2000108648
ISBN 9784621087855
NCID BB1734197X WCLINK

 類似資料