検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
著者名典拠情報
NCIDDA00113867
名称(HDNG)竹内, 外史(1926-)||タケウチ, ガイシ
生没年(DATE)1926
から見よ(SF)*Takeuti, Gaisi, 1926-
Takeuti, G.
Takeuchi, Gaishi
注記(NOTE)イリノイ大学教授
「無限小解析と物理学」の著者
EDSRC:線型論理入門 / 竹内外史著(日本評論社, 1995.1)の奥付の記述: 理学博士、専門・数学基礎論。
選択行を：
18 件中の　1-1012
資料名所在
1PとNP : 計算量の根本問題 / 竹内外史著. -- 日本評論社, 1996.9.理数学 410.9:Ta
2数学的世界観 : 現代数学の思想と展望 / 竹内外史著. -- 紀伊國屋書店, 1982.2.図書館(書庫) 410.1:Ta
図書館(書庫) 410:Ta
3無限小解析と物理学 / 竹内外史著. -- 遊星社, .図書館(閲覧室) 413.1:Ta
4自然数論 / 河田敬義, 竹内外史著. -- 改訂増補版. -- 河出書房, 1951.9.図書館(書庫) 413.1:Ka74:1
5位相幾何学 / 河田敬義,竹内外史著. -- 朝倉書店, 1952. -- (数學全書 ; 7).図書館(書庫) 414.8:Ka74:1
6層・圏・トポス : 現代的集合像を求めて / 竹内外史著. -- 日本評論社, 1979.図書館(書庫) 410.9:Ta
7数理論理学 : 語の問題 / 竹内外史著. -- 培風館, 1973.4. -- (数理科学シリーズ / 山内恭彦, 弥永昌吉企画編集 ; 7).図書館(書庫) 410.1:Ta
8ゲーデル / 竹内外史著. -- 新版. -- 日本評論社, 1998.9.図書館(閲覧室) 410.2:Ta
9線形代数と量子力学 / 竹内外史著. -- 裳華房, 1981.3. -- (基礎数学選書 ; 24).図書館(閲覧室) 411.3:Ta
理数学 411.3:Ta
10現代集合論入門 / 竹内外史著. -- 日本評論社, 1971. -- (日評数学選書).図書館(書庫) 413.9:Ta
18 件中の　1-1012
選択行を
▲ページトップへ