東京農業大学　生物産業学部図書館
OPACトップへ MyOPACへログイン
  • 目録検索 目録検索 ▼
  • 利用者サービス 利用者サービス ▼
    • 利用者登録情報照会
    • ブックマーク
    • お気に入り検索
    • 新着アラート
    • 学外文献複写申込
    • 学外文献借用申込

東京農業大学　生物産業学部図書館

検索結果一覧へ戻る

数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics

田中一之著. -- 裳華房, 2019. <BB20056563>
便利機能：
詳細情報を見る
この書誌へのURL：

数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics

田中一之著. -- 裳華房, 2019. <BB20056563>
便利機能：
詳細情報を見る
この書誌へのURL：

所蔵一覧 1件～1件（全1件）

ナンバーをクリックすると所蔵詳細をみることができます。

No. 巻冊次等 所蔵館 配置場所 資料ID 請求記号 禁帯出区分 状態 返却期限日 予約件数
0001 生産図 １Ｆ一般第二 1073692 410.9||Ta84 帯出可 整理済 0件
No. 0001
巻冊次等
所蔵館 生産図
配置場所 １Ｆ一般第二
資料ID 1073692
請求記号 410.9||Ta84
禁帯出区分 帯出可
状態 整理済
返却期限日
予約件数 0件
このページのTOPへ

書誌詳細

標題および責任表示 数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics / 田中一之著
スウガク キソロン ジョセツ : カズ ノ タイケイ エノ ロンリテキ アプローチ
出版・頒布事項 東京 : 裳華房 , 2019.6
形態事項 xii,374p ; 22cm
巻号情報
国際標準図書番号 9784785315757
要約 数学基礎論の基本ツールとなる数理論理学を初学者に向けて丁寧に解説。1970年頃までの数学基礎論を展望し、数学基礎論の新しいプログラム「逆数学」とその 周辺に焦点を当て、さまざまな分析法を案内する。
注記 数学基礎論の基本ツールとなる数理論理学を初学者に向けて丁寧に解説。1970年頃までの数学基礎論を展望し、数学基礎論の新しいプログラム「逆数学」とその周辺に焦点を当て、さまざまな分析法を案内する。
注記 索引: p362-374
学情ID BB28388818
本文言語コード 日本語
著者標目リンク 田中, 一之||タナカ, カズユキ <AU10018819>
分類標目 数学 NDC8:410.9
分類標目 数学 NDC9:410.9
分類標目 数学 NDC10:410.9
件名標目等 数学基礎論||スウガク キソロン
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ

  • 関連情報

    関連資料

    他の検索サイトで探す

    全国の大学図書館等を検索

    資料を取り寄せる

    • 学外文献複写申込(コピー取り寄せ)
    • 学外文献借用申込(現物借用)

    この書誌のQRコード