検索結果書誌詳細

蔵書情報

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

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

書誌情報

書名

待ってるよ     

著者名 文 工藤カナコ 千葉ユカ 中村チエ 原田キヨコ   写真 小寺 卓矢
出版年月 2023.01.28


この資料に対する操作

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

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

この資料に対する操作

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


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


資料情報

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

貸出可能数 有効期間開始日 有効期間終了日
無制限 2020/09/25

関連資料

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

那須 正幹 前川 かずお 前川 澄枝
1978
410.9 410.9

書誌詳細

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

タイトルコード 1008001741938
書誌種別 電子図書
書名 待ってるよ     
書名ヨミ  
著者名 文 工藤カナコ 千葉ユカ 中村チエ 原田キヨコ
著者名 写真 小寺 卓矢
出版年月 2023.01.28
分類記号 E
内容紹介 升井純子・小寺卓矢 絵本づくりワークショップの参加者による絵本です

(他の紹介)目次 ゲーデルの証明の基礎概念
算術におけるタルスキーの定理
べき乗に基づくペアノ算術における不完全性
べき乗に基づかない算術
ω無矛盾性に基づくゲーデルの証明
ロッサー体系
シェファードソンの表現定理
定義可能性と対角化
無矛盾性の証明不可能性
証明可能性と真理性に関する一般概念
自己言及体系


内容細目表

前のページへ

本文はここまでです。


ページの終わりです。