上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(著者名に左の語を含む: #竹内 外史)
該当件数:17件
リー代数と素粒子論 / 竹内外史著
復刊. - 東京 : 裳華房 , 2010.9
図書 <1002977340>
直観主義的集合論 / 竹内外史著
: electronic bk. - Boulder : NetLibrary , 2008. - (紀伊國屋数学叢書 ; 20)
電子ブック <1003004158>
数学的世界観 : 現代数学の思想と展望 / 竹内外史著
: electronic bk. - Boulder : NetLibrary , 2010
電子ブック <1003004288>
集合とはなにか : はじめて学ぶ人のために / 竹内外史著
新装版. - 東京 : 講談社 , 2001.5. - (ブルーバックス ; B-1332)
図書 <1001266624>
ゲーデル / 竹内外史著
新版. - 東京 : 日本評論社 , 1998.9
図書 <1001216397>
無限小解析と物理学 / 竹内外史著
第2版. - 東京 : 遊星社. - 東京 : 星雲社 (発売) , 2001.5
図書 <1001280965>
数学から物理学へ / 竹内外史著
東京 : 日本評論社 , 1979.3
図書 <1001392772>
数理論理学 : 語の問題 / 竹内外史著
東京 : 培風館 , 1973.4. - (数理科学シリーズ ; 7)
図書 <1001410237>
PとNP : 計算量の根本問題 / 竹内外史著
東京 : 日本評論社 , 1996.9
図書 <1000280878>
線型論理入門 / 竹内外史著
東京 : 日本評論社 , 1995.1
図書 <1000260251>
証明論と計算量 / 竹内外史著
東京 : 裳華房 , 1995.11
図書 <1000271898>
現代集合論入門 / 竹内外史著
増補版. - 東京 : 日本評論社 , 1989.12. - (日評数学選書)
図書 <1000152432>
層・圏・トポス : 現代的集合像を求めて / 竹内外史著
東京 : 日本評論社 , 1978.1
図書 <1000020132>
東京 : 紀伊國屋書店 , 1980.12. - (紀伊國屋数学叢書 ; 20)
図書 <1000035660>
東京 : 紀伊國屋書店 , 1982.2
図書 <1000036215>
線形代数と量子力学 / 竹内外史著
復刊. - 東京 : 裳華房 , 2009.3. - (基礎数学選書 ; 24)
図書 <1002138324>
証明論入門 / 竹内外史, 八杉満利子共著
復刊. - 東京 : 共立出版 , 2010.6
図書 <1002199832>