ようこそ  ゲスト さん

東京農工大学

ヘルプ
入力補助
English
OPAC
図書館サービス
    • 図書新着案内
    • 雑誌タイトルリスト
    • AV資料タイトルリスト
利用者サービス
    • 貸出・予約状況照会
    • 文献複写・貸借申込み
    • 文献複写・貸借申込み状況照会
    • 図書購入申込み(教員のみ)
    • 図書購入申込み状況照会(教員のみ)
    • 学生希望図書リクエスト
    • 学生希望図書リクエスト状況照会
    • パスワード変更
    • メールアドレス登録・変更・削除
  • 開館カレンダー
  • 東京農工大学図書館
  • 東京農工大学
  • 農工大OPAC
  • CiNii Books
  • CiNii Research
  • IRDB
  • NDLサーチ
  • その他の検索
    • CiNii Books
    • CiNii Research
    • IRDB
    • NDLサーチ

蔵書検索

東京農工大学が所蔵する図書や雑誌、電子ブックを検索します。

CiNii Books

全国の大学図書館等が所蔵する図書や雑誌を検索します。

CiNii Research

国内の学術論文を検索します。

IRDB

国内の学術機関リポジトリに登録された学術情報を検索します。

NDLサーチ

国立国会図書館や公共図書館等が提供する資料を検索します。

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

検索条件

  •  

資料区分

キャンパス

検索オプション

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

» 絞込条件

検索結果

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

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

該当件数:40件

  • 件
  • 1
  • 2
  • メール送信
  • ファイル出力
  • EndNote Web出力
  • Mendeley出力
全選択
  • 1.

    計算可能性入門 / 小林孝次郎著

    東京 : 近代科学社 , 1980.2. - (コンピュータサイエンス大学講座)

     図書



  • 2.

    論理と計算 / 萩谷昌己著

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

     図書



  • 3.

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

    増補版. - 東京 : 東京大学出版会 , 2021.4

     図書



  • 4.

    計算基礎論 / 足立暁生著

    東京 : オーム社 , 1986.6

     図書



  • 5.

    数学基礎論入門 / 前原昭二著

    東京 : 朝倉書店 , 1977.6. - (基礎数学シリーズ ; 26)

     図書



  • 6.

    束と論理 / 松本和夫著

    東京 : 森北出版 , 1980.5. - (情報工学シリーズ ; 1 . 情報数学 ; 1)

     図書



  • 7.

    数学基礎概説 / 大芝猛著

    東京 : 共立出版 , 1987.10. - (共立数学講座 ; 10)

     図書



  • 8.

    計算の基礎理論 / 細井勉著

    東京 : 教育出版 , 1975.1. - (シリーズ新しい応用の数学 / 一松信, 伊理正夫, 竹内啓編 ; 9)

     図書



  • 9.

    論理と計算のしくみ / 萩谷昌己, 西崎真也著

    東京 : 岩波書店 , 2007.6

     図書



  • 10.

    数の体系と超準モデル / 田中一之著

    東京 : 裳華房 , 2002.4

     図書



  • 11.

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

    東京 : 共立出版 , 1995.9

     図書



  • 12.

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

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

     図書



  • 13.

    計算論 : 計算可能性とラムダ計算 / 高橋正子著

    東京 : 近代科学社 , 1991.8. - (コンピュータサイエンス大学講座 ; 24)

     図書



  • 14.

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

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

     図書



  • 15.

    数学基礎論入門 / 前原昭二著

    復刊. - 東京 : 朝倉書店 , 2006.3. - (基礎数学シリーズ ; 23)

     図書



  • 16.

    数学とは何か : 集合・論理 / 前原昭二著

    東京 : 総合科学出版 , 1971.4. - (総合サイエンス・ライブラリー ; 23)

     図書



  • 17.

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

    東京 : 岩波書店 , 2011.5

     図書



  • 18.

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

    東京 : 共立出版 , 2012.2

     図書



  • 19.

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

    東京 : 裳華房 , 2019.6

     図書



  • 20.

    数学基礎論 / 隈部正博著

    3訂版. - 東京 : 放送大学教育振興会 , 2003.3. - (放送大学教材 ; 1666118-1-0311)

     図書



  • メール送信
  • ファイル出力
  • EndNote Web出力
  • Mendeley出力
全選択
  • 1
  • 2
CLOSE

絞込項目

CLOSE

図書館サービス

  • 図書新着案内
  • 雑誌タイトルリスト
  • AV資料タイトルリスト

利用者サービス

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

関連

  • 東京農工大学図書館
  • 東京農工大学

(C) 2021- Tokyo University of Agriculture and Technology Library