検索結果書誌詳細

蔵書情報

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

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

書誌情報

書名

きのう何食べた?  16 モーニングKC  

著者名 よしなが ふみ/著
出版者 講談社
出版年月 2019.12


この資料に対する操作

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

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

  

この資料に対する操作

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


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


資料情報

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

No. 所蔵館 資料番号 請求記号 配架場所 所蔵棚番号 資料種別 帯出区分 状態 付録 貸出
1 旭山公園通1213216888C726/ヨ/16コミックコミック一般貸出貸出中  ×

関連資料

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

1993
410.96 410.96
記号論理学

書誌詳細

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

タイトルコード 1008001442984
書誌種別 図書
書名 きのう何食べた?  16 モーニングKC  
書名ヨミ キノウ ナニ タベタ 
著者名 よしなが ふみ/著
著者名ヨミ ヨシナガ フミ
出版者 講談社
出版年月 2019.12
ページ数 [159p]
大きさ 19cm
分類記号 726.1
分類記号 726.1
ISBN 4-06-517831-7
言語区分 日本語
受賞情報 講談社漫画賞一般部門

(他の紹介)内容紹介 数学・哲学・コンピュータサイエンスの各分野で現代的意味を失わない巨匠ヒルベルトの方法論とその思想、初の邦訳版。
(他の紹介)目次 第1章 公理論の無矛盾性の問題を論理的な決定問題として扱うこと
第2章 述語計算とそれに関連した形式的体系について
第3章 ヒルベルトのε‐記号による束縛変数の除去
第4章 ε‐定理と関連した手法による数論の証明論的考察
第5章 ε‐記号の論理学的形式的体系の研究への応用
第6章 数論の形式的体系の無矛盾性証明


内容細目表

前のページへ

本文はここまでです。


ページの終わりです。