北里大学OPAC

ようこそ  ゲスト さん

簡易検索: +詳細検索

検索結果一覧に戻る


他の検索サイト

スマリヤン スウリ ロンリガク : ジュツゴ ロンリ ト カンゼンセイ テイリ

スマリヤン数理論理学 : 述語論理と完全性定理 / Raymond Smullyan [著] ; 村上祐子訳

データ種別 図書
出版者 東京 : 丸善出版
出版年 2014.11
著者標目 Smullyan, Raymond M., 1919-
村上, 祐子(1968-) <ムラカミ, ユウコ>
高橋, 昌一郎(1959-) <タカハシ, ショウイチロウ>

所蔵情報を非表示

配架場所 巻　次 請求記号 登録番号 状　態 コメント ISBN 刷　年 予約 利用注記
未来工学部(教養図書館BF)
410.96||Sm8 71135231
9784621087855

書誌詳細を非表示

大きさ iv, 196p : 挿図 ; 21cm
別書名 原タイトル:Logical labyrinths
その他のタイトル:スマリヤン記号論理学
異なりアクセスタイトル:数理論理学 : スマリヤン
件　名 BSH:記号論理学
一般注記 監訳: 高橋昌一郎
原著(A.K. Peters, 2009)の後半(Part III-Part VI)の全訳, 前半は『スマリヤン記号論理学』として発行
参考文献: p189-190
索引あり
分　類 NDC8:410.96
NDC9:410.96
NDC10:410.96
書誌ID BB10180124
本文言語 日本語
巻冊次 ISBN:9784621087855 ; PRICE:3000円+税
NCID BB1734197X

類似資料

  1. 1 不完全性定理の先へ / レイモンド・M・スマリヤン著 ; 川辺治之訳
  2. 2 はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方 / 山田俊行著
  3. 3 論理数学 / 太原育夫著
  4. 4 数理論理学 : 合理的エージェントへの応用に向けて / 加藤暢, 高田司郎, 新出尚之共著
  5. 5 学んでみよう!記号論理 / 高崎金久著

検索結果一覧に戻る ページトップ

図書館サービス

利用者サービス