検索結果書誌詳細

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報

書名

ゲーデルに挑む 証明不可能なことの証明    

著者名 田中 一之/著
出版者 東京大学出版会
出版年月 2012.4


この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

  

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。


マイ本棚へ追加ログインメモ


資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 資料番号 請求記号 配架場所 所蔵棚番号 資料種別 帯出区分 状態 付録 貸出
1 中央図書館0118990498410.9/タ/1階図書室51A一般図書一般貸出在庫  

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

2012
410.9 410.9

書誌詳細

この資料の書誌詳細情報です。

タイトルコード 1008001515002
書誌種別 図書
書名 ワーケーション施設の開設・運営計画資料集 ワーケーションリゾートの事業化手法と宿泊型コリビングの実態    
書名ヨミ ワーケーション シセツ ノ カイセツ ウンエイ ケイカク シリョウシュウ 
出版者 綜合ユニコム
出版年月 2020.7
ページ数 101p
大きさ 30cm
分類記号 689.4
分類記号 689.4
ISBN 4-88150-725-4
内容紹介 ワーク(仕事)とバケーション(休暇)を組み合わせた有望ビジネス「ワーケーションリゾート」。そのマーケティングから開発・運営までを解説するほか、進化型コリビング「HafH(ハフ)」のビジネスモデルなどを紹介。
件名 保養地、テレワーク
言語区分 日本語

(他の紹介)内容紹介 待望の本格的ロジック指南書。イラスト付きでていねいな解説。「不完全性定理」完全攻略ガイド。
(他の紹介)目次 原論文訳・解説(体系P、ゲーデル数、再帰的関数
メタ数学の再帰的表現
第一不完全性定理
1階算術への還元
第二不完全性定理)
補遺(1階算術と論理式の階層
計算可能性理論
1階算術の形式体系
文献案内)


内容細目表

前のページへ

本文はここまでです。


ページの終わりです。