ようこそ  ゲスト さん

和歌山大学OPAC

ヘルプ
入力補助
English
TOP
タイトルリスト
    • 図書新着案内
    • 雑誌新着巻号案内
    • 雑誌タイトルリスト
    • AV資料タイトルリスト
    • シラバス掲載図書
    • 教員推薦図書
    • 貸出ランキング
    • アクセスランキング
    • 教員推薦コメント
利用者サービス
    • 貸出・予約状況照会
    • 文献複写・貸借申込み
    • 文献複写・貸借申込み状況照会
    • 学生希望図書リクエスト
    • 学生希望図書リクエスト状況照会
    • メールアドレス登録・変更・削除
  • 電子リソースポータル
  • データベース
  • 図書館
  • 和歌山大学
  • 和歌山大学
  • CiNii Books
  • NDLサーチ
  • CiNii Articles
  • IRDB
  • その他の検索
    • CiNii Books
    • NDLサーチ
    • CiNii Articles
    • IRDB

蔵書検索

和歌山大学が所蔵している図書や雑誌(電子ブック・電子ジャーナル含む)を検索します。

CiNii Books

日本の大学図書館が所蔵している図書や雑誌を検索できます。

NDLサーチ

国立国会図書館が所蔵している図書や雑誌などを検索できます。

CiNii Articles

日本語の雑誌記事・学術論文を検索できます。

IRDB

IRDBを検索します。

検索条件を開く
  • 簡易検索
  • 詳細検索

検索条件

  •  

資料区分

検索オプション

資料区分:
全ての項目:
タイトル:
タイトル(完全形):
著者名:
著者名典拠ID:
出版者:
ISBN:
ISSN:
NCID:
件名:
分類:
注記:
出版年: –
言語:
並び順:
一覧表示件数:
全ての項目:
タイトル:
タイトル(完全形):
著者名:
出版者:
件名:
ISBN:
ISSN:
出版年: –
並び順:
一覧表示件数:
全ての項目:
論文名:
著者名:
刊行物名:
並び順:
一覧表示件数:
全ての項目:
タイトル:
著者名:
雑誌名:
一覧表示件数:

» 絞込条件

検索結果

本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。

検索キーワード:(件名: #数学基礎論)

該当件数:43件

  • 件
  • 1
  • 2
  • 3
  • ファイル出力
  • EndNote Basic出力
  • Mendeley出力
  • 選択した資料の詳細表示
全選択
  • 1.

    逆数学 : 定理から公理を「証明」する / ジョン・スティルウェル著 ; 川辺治之訳

    東京 : 森北出版 , 2019.2

     図書



  • 2.

    二十世紀数学思想 / 佐々木力 [著]

    : 新装版. - 東京 : みすず書房 , 2014.7

     図書



  • 3.

    集合・写像・論理 : 数学の基本を学ぶ / 中島匠一著

    東京 : 共立出版 , 2012.2

     図書



  • 4.

    離散構造 : アルゴリズムの原理を学ぶ / James L. Hein著 ; 神林靖訳

    [東京] : 翔泳社 , 2011.6. - (独習コンピュータ科学基礎 ; 1)

     図書



  • 5.

    数学基礎論 = Mathematical logic / 新井敏康著

    東京 : 岩波書店 , 2011.5

     図書



  • 6.

    集合論とプラトニズム / 田中一之編

    東京 : 東京大学出版会 , 2007.7. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 4)

     図書



  • 7.

    不完全性定理と算術の体系 / 田中一之編

    東京 : 東京大学出版会 , 2007.3. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 3)

     図書



  • 8.

    ε (エプシロン) -δ (デルタ) に泣く / 石谷茂著

    京都 : 現代数学社 , 2006.11. - (数学の盲点とその解明)

     図書



  • 9.

    ∀ (すべて) と∃ (存在) に泣く / 石谷茂著

    新版. - 京都 : 現代数学社 , 2006.11. - (数学の盲点とその解明)

     図書



  • 10.

    完全性定理とモデル理論 / 田中一之編

    東京 : 東京大学出版会 , 2006.10. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 2)

     図書



  • 11.

    ゲーデルの20世紀 / 田中一之編

    東京 : 東京大学出版会 , 2006.7. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1)

     図書



  • 12.

    数学と論理 / 難波完爾著

    東京 : 朝倉書店 , 2003.4. - (講座数学の考え方 / 飯高茂 [ほか] 編集 ; 23)

     図書



  • 13.

    お話・数学基礎論 : 数学では必ず正しい結論に到達できるか? / 八杉満利子, 林晋著

    東京 : 講談社 , 2002.6. - (ブルーバックス ; B-1374)

     図書



  • 14.

    二十世紀数学思想 / 佐々木力 [著]

    東京 : みすず書房 , 2001.4

     図書



  • 15.

    数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える : The mathematical intelligencer誌より / 田中一之編・監訳

    東京 : シュプリンガー・フェアラーク東京 , 1999.2

     図書



  • 16.

    数学・基礎の基礎 / 廣瀬健著

    東京 : 海鳴社 , 1996.6

     図書



  • 17.

    Q&A数学基礎論入門 / 久馬栄道著

    東京 : 共立出版 , 1995.9

     図書



  • 18.

    計算の理論 / 笠井琢美, 戸田誠之助著

    東京 : 共立出版 , 1993.6. - (情報数学講座 ; 4)

     図書



  • 19.

    論理と計算 / 萩谷昌己著

    東京 : 岩波書店 , 1993.6. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 基礎 ; 11)

     図書



  • 20.

    計算可能性・計算の複雑さ入門 / 渡辺治著

    東京 : 近代科学社 , 1992.10. - (アルゴリズム・シリーズ ; 3)

     図書



  • ファイル出力
  • EndNote Basic出力
  • Mendeley出力
  • 選択した資料の詳細表示
全選択
  • 1
  • 2
  • 3
CLOSE

絞込項目

CLOSE

タイトルリスト

  • 図書新着案内
  • 雑誌新着巻号案内
  • 雑誌タイトルリスト
  • AV資料タイトルリスト
  • シラバス掲載図書
  • 教員推薦図書
  • 貸出ランキング
  • アクセスランキング
  • 教員推薦コメント

利用者サービス

  • 貸出・予約状況照会
  • 文献複写・貸借申込み
  • 文献複写・貸借申込み状況照会
  • 学生希望図書リクエスト
  • 学生希望図書リクエスト状況照会
  • メールアドレス登録・変更・削除

関連

  • 電子リソースポータル
  • データベース
  • 図書館
  • 和歌山大学

©2018 Wakayama University Library