北里大学OPAC

ようこそ  ゲスト さん

簡易検索: +詳細検索

検索結果一覧に戻る


他の検索サイト

スウリ ロンリガク

数理論理学 = Mathematical logic / 戸次大介著

データ種別 図書
出版者 東京 : 東京大学出版会
出版年 2012.3
著者標目 戸次, 大介(1973-) <ベッキ, ダイスケ>

所蔵情報を非表示

配架場所 巻　次 請求記号 登録番号 状　態 コメント ISBN 刷　年 予約 利用注記
理学 単行本
410.96||B32 11037052
9784130629157 2012

書誌詳細を非表示

大きさ viii, 310p ; 21cm
件　名 BSH:記号論理学
一般注記 参考文献: p300-302
分　類 NDC8:410.96
NDC9:410.96
書誌ID BB10101921
本文言語 日本語
巻冊次 ISBN:9784130629157 ; PRICE:3000円+税
NCID BB08796072

類似資料

  1. 1 論理数学 / 太原育夫著
  2. 2 数理論理学 : 合理的エージェントへの応用に向けて / 加藤暢, 高田司郎, 新出尚之共著
  3. 3 学んでみよう!記号論理 / 高崎金久著
  4. 4 コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著
  5. 5 スマリヤン数理論理学講義 : 不完全性定理の理解のために / レイモンド・M・スマリヤン著 ; 川辺治之訳 上巻

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

図書館サービス

利用者サービス