ヘルプ
×終了
日本語
|
English
埼玉大学図書館
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
著者名典拠情報
NCID
DA00113867
名称(HDNG)
竹内, 外史(1926-)||タケウチ, ガイシ
生没年(DATE)
1926
から見よ(SF)
*Takeuti, Gaisi, 1926-
Takeuti, G.
Takeuchi, Gaishi
注記(NOTE)
イリノイ大学教授
「無限小解析と物理学」の著者
EDSRC:線型論理入門 / 竹内外史著(日本評論社, 1995.1)の奥付の記述: 理学博士、専門・数学基礎論。
図書(18件)
選択行を:
10件
20件
50件
18 件中の 1-10
1
2
資料名
所在
1
Pと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-10
1
2
選択行を
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。
カナ
英字
EXC
ギリシャ
キリル
ハングル
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
초성
중성
종성