ようこそ  ゲスト さん

国際基督教大学OPAC

ヘルプ
入力補助
English
OPAC
資料案内
    • 新着図書
    • 雑誌最新巻号
    • 雑誌タイトル検索
    • AV資料リスト
    • 新着書評
MyLibrary
    • 貸出・予約・延滞状況の確認
    • 本の取寄せ・コピーの取寄せ申込み
    • 本の取寄せ・コピーの取寄せ申込み状況照会(2008年4月以降分)
    • 本の購入申込み
    • 本の購入申込み状況照会
    • 本の購入申込み(堀内彩子メモリアル図書資金:学生用)
    • 学生希望図書リクエスト状況照会
    • パスワード変更
  • 図書館 HP
  • リザーブブック
  • ICU Discovery
  • データベース一覧
  • ICUリポジトリ
  • ICU図書館
  • CiNii Books

蔵書検索

ICU図書館の所蔵資料を検索します。

CiNii Books

他大学図書館の所蔵資料を検索します。

検索をやりなおす
  • 簡易検索
  • 詳細検索
  • 分類検索

検索条件

  •  

資料区分

検索対象

検索オプション

資料区分:
全ての項目:
タイトル:
タイトル(完全形):
著者名:
著者名典拠ID:
出版者:
ISBN:
ISSN:
NCID:
件名:
分類:
注記:
出版年: –
言語:
並び順:
一覧表示件数:
  • 日本十進分類

分類

検索条件

キーワード:

» 絞込条件

検索結果

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

検索キーワード:(標準分類: 410.96)

該当件数:28件

  • 件
  • メール送信
  • ファイル出力
  • RefWorks出力
  • EndNote Basic出力
  • Mendeley出力
  • 選択した資料の詳細表示
全選択
  • 1.

    日本語から記号論理へ / 齋藤正彦[著]

    東京 : 日本評論社 , 2010.5

     図書 [BB02198635]



  • 2.

    不完全性定理の先へ / レイモンド・M・スマリヤン著 ; 川辺治之訳

    東京 : 日本評論社 , 2018.9. - (スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 下巻)

     図書 [BB26881355]



  • 3.

    幾何的モデル理論入門 / 板井昌典著

    改訂版. - 東京 : 日本評論社 , 2020.9

     図書 [BC02747923]



  • 4.

    フレーゲの哲学 / アンソニー・ケニー [著] ; 野本和幸 [ほか]訳

    東京 : 法政大学出版局 , 2001.3. - (叢書・ウニベルシタス ; 721)

     図書 [BA51535676]



  • 5.

    現代数理論理学序説 / 古森雄一 , 小野寛晰著

    東京 : 日本評論社 , 2010.6

     図書 [BB02425588]



  • 6.

    記号論 / 吉田夏彦著

    東京 : 筑摩書房 , 2017.10. - (ちくま学芸文庫 ; [ヨ16-2])

     図書 [BB2460813X]



  • 7.

    不完全性定理の理解のために / レイモンド・M・スマリヤン著 ; 川辺治之訳

    東京 : 日本評論社 , 2017.9. - (スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 上巻)

     図書 [BB24549788]



  • 8.

    1と0との物語 / 日野寛三著

    [東京] : 東京図書出版. - 東京 : リフレ出版 (発売) , 2012.5

     図書 [BB09380069]



  • 9.

    ろんりと集合 / 中内伸光著

    東京 : 日本評論社 , 2009.9

     図書 [BA91419987]



  • 10.

    数学的推論が世界を変える : 金融・ゲーム・コンピューター / 小島寛之著

    東京 : NHK出版 , 2012.12. - (NHK出版新書 ; 394)

     図書 [BB11199209]



  • 11.

    数理論理学の基礎・基本 / 坪井明人著

    東京 : 牧野書店. - 東京 : 星雲社 (発売) , 2012.3. - (理工系数学の基礎・基本 ; 13)

     図書 [BB08689855]



  • 12.

    数理論理学 / 鹿島亮著

    東京 : 朝倉書店 , 2009.10. - (現代基礎数学 / 新井仁之 [ほか] 編 ; 15)

     図書 [BA91721370]



  • 13.

    計算論理入門 : 情報の数理 / 田中尚夫著

    東京 : 裳華房 , 1997.10

     図書 [BA33465309]



  • 14.

    学んでみよう!記号論理 / 高崎金久著

    東京 : 日本評論社 , 2014.8

     図書 [BB1644619X]



  • 15.

    論理数学 / 太原育夫著

    東京 : 近代科学社 , 2015.4. - (大学数学スポットライト・シリーズ ; 2)

     図書 [BB18525719]



  • 16.

    論理学入門 / 丹治信春著

    東京 : 筑摩書房 , 2014.5. - (ちくま学芸文庫 ; [タ41-1])

     図書 [BB15539590]



  • 17.

    数理論理学 = Mathematical logic / 戸次大介著

    東京 : 東京大学出版会 , 2012.3

     図書 [BB08796072]



  • 18.

    記号論理学講義 : 基礎理論・束論と圏論・知識論 / 清水義夫著

    東京 : 東京大学出版会 , 2013.3

     図書 [BB12134898]



  • 19.

    数理論理学 / 古川康一, 向井国昭著

    東京 : コロナ社 , 2008.6. - (コンピュータサイエンス教科書シリーズ / 曽和将容, 岩田彰, 富田悦次編集委員 ; 18)

     図書 [BA85928374]



  • 20.

    論理リテラシー / 鈴木登志雄著

    東京 : 培風館 , 2009.2

     図書 [BA89502385]



  • 21.

    はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方 / 山田俊行著

    東京 : 森北出版 , 2018.7

     図書 [BB26635133]



  • 22.

    フレーゲ哲学の全貌 : 論理主義と意味論の原型 / 野本和幸著

    東京 : 勁草書房 , 2012.9

     図書 [BB10370517]



  • 23.

    情報理論のための数理論理学 / 板井昌典著

    東京 : 共立出版 , 2017.8. - (数学のかんどころ ; 31)

     図書 [BB24269023]



  • 24.

    コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著

    東京 : 青土社 , 2015.3

     図書 [GP73687835]



  • 25.

    証明のすすめ : 数学の証明 / リュディガー・ティーレ原著 ; 金井省二訳

    東京 : 森北出版 , 1990.7

     図書 [BN05042455]



  • 26.

    不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著

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

     図書 [BB12229644]



  • 27.

    スマリヤン記号論理学 : 一般化と記号化 / Raymond Smullyan[著] ; 川辺治之訳

    東京 : 丸善出版 , 2013.1

     図書 [BB11573316]



  • 28.

    情報科学における論理 / 小野寛晰著

    東京 : 日本評論社 , 1994.4. - (情報数学セミナー)

     図書 [BN10526687]



  • メール送信
  • ファイル出力
  • RefWorks出力
  • EndNote Basic出力
  • Mendeley出力
  • 選択した資料の詳細表示
全選択
CLOSE

絞込項目

CLOSE

資料案内

  • 新着図書
  • 雑誌最新巻号
  • 雑誌タイトル検索
  • AV資料リスト
  • 新着書評

MyLibrary

  • 貸出・予約・延滞状況の確認
  • 本の取寄せ・コピーの取寄せ申込み
  • 本の取寄せ・コピーの取寄せ申込み状況照会(2008年4月以降分)
  • 本の購入申込み
  • 本の購入申込み状況照会
  • 本の購入申込み(堀内彩子メモリアル図書資金:学生用)
  • 学生希望図書リクエスト状況照会
  • パスワード変更

関連

  • 図書館HP
  • ICU Discovery
  • データベース一覧

©2013 国際基督教大学