北里大学OPAC

ようこそ  ゲスト さん

簡易検索: +詳細検索

検索結果一覧に戻る


他の検索サイト

フカンゼンセイ テイリ ノ サキ エ

不完全性定理の先へ / レイモンド・M・スマリヤン著 ; 川辺治之訳

(スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳;下巻)
データ種別 図書
出版者 東京 : 日本評論社
出版年 2018.9
著者標目 Smullyan, Raymond M., 1919-
川辺, 治之 <カワベ, ハルユキ>
田中, 一之 <タナカ, カズユキ>

所蔵情報を非表示

配架場所 巻　次 請求記号 登録番号 状　態 コメント ISBN 刷　年 予約 利用注記
理学 単行本
410.96||Sm8||2 11041144
9784535788510 2018

書誌詳細を非表示

大きさ v, 312p ; 22cm
別書名 原タイトル:A beginner's further guide to mathematical logic
標題紙タイトル:Beyond the incompleteness theorems
件　名 BSH:記号論理学
一般注記 監訳: 田中一之
文献: p[299]-302
分　類 NDC8:410.96
NDC9:410.96
NDC10:410.96
書誌ID BB10156136
本文言語 日本語
巻冊次 ISBN:9784535788510 ; PRICE:3800円+税
NCID BB26881355

類似資料

  1. 1 スマリヤン数理論理学 : 述語論理と完全性定理 / Raymond Smullyan [著] ; 村上祐子訳
  2. 2 はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方 / 山田俊行著
  3. 3 論理数学 / 太原育夫著
  4. 4 数理論理学 : 合理的エージェントへの応用に向けて / 加藤暢, 高田司郎, 新出尚之共著
  5. 5 学んでみよう!記号論理 / 高崎金久著

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

図書館サービス

利用者サービス