こちらに共通ヘッダが追加されます。
ようこそ
ゲスト
さん
ログイン
ヘルプ
入力補助
English
DOORS
図書館サービス
図書新着案内
雑誌最新巻号案内
AV資料新着案内
雑誌タイトルリスト
AV資料タイトルリスト
ベストリーディング
アクセスランキング
教員指定図書
教員執筆図書
多読用資料(ESL)
My DOORS
貸出・予約状況照会
複写・借用申込み
複写・借用申込み状況照会
新規購入依頼
購入依頼状況照会
パスワード新規登録
パスワード変更
利用者情報編集
その他
学術リポジトリ
DOGS Plus
電子資料一覧
電子ジャーナル・電子書籍
同志社大学図書館
書誌詳細に戻る
選択資料から書架並びで前後20冊ずつを表示します。
逆数学 : 定理から公理を「証明」する / ジョン・スティルウェル著 ; 川辺治之訳
410.9||S10340
199200021
ラーネッド記念図書館 第2開架
スマリヤン不完全性定理 / Raymond Smullyan[著] ; 川辺治之, 村上祐子訳
410.9||S10560
199202716
ラーネッド記念図書館 第2開架
応用数学 : 大学課程 / 高木亀一著
410.9||T
850043359
ラーネッド記念図書館 第2開架
PとNP : 計算量の根本問題 / 竹内外史著
410.9||T271
069202777
ラーネッド記念図書館 第2開架
応用をめざす人のためのファジィ理論入門 : ファジィ集合からファジィ制御まで / 田中一男著
410.9||T374
920004528
ラーネッド記念図書館 第2開架
数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える : The mathematical intelligencer誌より / 田中一之編・監訳
410.9||T378
990201773
ラーネッド記念図書館 第2開架
数学基礎論講義 : 不完全性定理とその発展 / 田中一之 [ほか] 著
410.9||T378
970207220
ラーネッド記念図書館 第2開架
情報数学 / 鳥脇純一郎編著
410.9||T9343
049252132
ラーネッド記念図書館 第2開架
ゲーデルに挑む : 証明不可能なことの証明 / 田中一之著
410.9||T9366
129201510
ラーネッド記念図書館 第2開架
ゲーデルの20世紀 / 田中一之編
410.9||T9366||1
069202584
ラーネッド記念図書館 第2開架
完全性定理とモデル理論 / 田中一之編
410.9||T9366||2
069203796
ラーネッド記念図書館 第2開架
不完全性定理と算術の体系 / 田中一之編
410.9||T9366||3
079200177
ラーネッド記念図書館 第2開架
集合論とプラトニズム / 田中一之編
410.9||T9366||4
079202534
ラーネッド記念図書館 第2開架
なっとくする無限の話 / 玉野研一著
410.9||T9373
049253316
ラーネッド記念図書館 第2開架
集合論の哲学 : 「カントールのパラダイス」につづく道 / メアリー・タイルズ著 ; 三浦雅弘訳
410.9||T9430
079205073
ラーネッド記念図書館 第2開架
ファジィ理論 : 基礎と応用 / 滝澤武信編著 ; 稲井田次郎 [ほか] 執筆
410.9||T9599
109203148
ラーネッド記念図書館 第2開架
集合入門 / 坪井明人, 塩谷真弘, 佐垣大輔著
410.9||T10118
199200271
ラーネッド記念図書館 第2開架
バナッハ-タルスキーのパラドックス / Grzegorz Tomkowicz, Stan Wagon著 ; 佐藤健治訳
410.9||T10257
239200398
ラーネッド記念図書館 第2開架
記述集合論要説 = Descriptive set theory / 田中尚夫著
410.9||T10292
249200244
ラーネッド記念図書館 第2開架
計算理論と数理論理学 = Mathematics of logic and computation / 田中一之著
410.9||T10370
229200909
ラーネッド記念図書館 第2開架
線形代数と数え上げ / 高﨑金久著
410.9||T10378
219201599
ラーネッド記念図書館 第2開架
数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics / 田中一之著
410.9||T10378
199201221
ラーネッド記念図書館 第2開架
離散数学入門 / 豊泉正男, 丸山文綱, 藤田響著
410.9||T10429
199201957
ラーネッド記念図書館 第2開架
例題形式で探求する集合・位相 : 連続写像の織りなすトポロジーの世界 / 丹下基生著
410.9||T10429
209201910
ラーネッド記念図書館 第2開架
離散数学 = Discrete mathematics / 東京大学工学教程編纂委員会編 ; 牧野和久著
410.9||T10481
199202602
ラーネッド記念図書館 第2開架
集合論・入門 : 無限への誘い / 上江洲忠弘著
410.9||U9612
139201457
ラーネッド記念図書館 第2開架
集合と位相 / 内田伏一著
410.9||U10248
229200931
ラーネッド記念図書館 第2開架
計算可能性・計算の複雑さ入門 / 渡辺治著
410.9||W474
920006658
ラーネッド記念図書館 第2開架
計算可能性・計算の複雑さ入門 / 渡辺治著
410.9||W474
921050920
ラーネッド記念図書館 第2開架
ヘルマン・ヴァイル連続体 : 解析学の基礎についての批判的研究 / ヘルマン・ヴァイル著 ; 田中尚夫, 渕野昌訳・注釈・解説
410.9||W9289
169200011
ラーネッド記念図書館 第2開架
バナッハ=タルスキの逆説 : 豆と太陽は同じ大きさ? / レナード・M・ワプナー著 ; 佐藤かおり, 佐藤宏樹訳
410.9||W9387
099205618
ラーネッド記念図書館 第2開架
組合せ論の発見 : 古代から現代へ / Robin Wilson, John J. Watkins編 ; 平坂貢訳
410.9||W10552
219200780
ラーネッド記念図書館 第2開架
ファジィ数学入門 : ソフトサイエンスの基礎と応用 / 山下元, 須田宏共著
410.9||Y287
970207277
ラーネッド記念図書館 第2開架
ファジィ数学入門 : ソフトサイエンスの基礎と応用 / 山下元, 須田宏共著
410.9||Y287
019201377
ラーネッド記念図書館 第2開架
ファジィ理論と応用 : 教育情報アナリシス / 山下元 [ほか] 著
410.9||Y287
970201275
ラーネッド記念図書館 第2開架
ファジィ情報分析 : 人間科学へのアプローチ / 山下元編著
410.9||Y287
953004366
ラーネッド記念図書館 第2開架
ファジィ情報分析 : 人間科学へのアプローチ / 山下元編著
410.9||Y287
019200934
ラーネッド記念図書館 第2開架
有限オートマトンと正規言語 / 山崎克典著
410.9||Y384
943005712
ラーネッド記念図書館 第2開架
組合せ論プロムナード / 山田裕史著
410.9||Y10292
249200944
ラーネッド記念図書館 第2開架
組合せ論トレイル = Combinatorics trail / 山田裕史著
410.9||Y10292
249200972
ラーネッド記念図書館 第2開架
集合と位相 / 矢ケ崎一幸著
410.9||Y10378
209200779
ラーネッド記念図書館 第2開架