ICU図書館の所蔵資料を検索します。
他大学図書館の所蔵資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード：(著者名に左の語を含む: #竹内 外史)
該当件数:19件
現代集合論入門 / 竹内外史著
増補版. - 東京 : 日本評論社 , 1989.12. - (日評数学選書)
図書 [BN0409794X]
数学基礎論の世界 : ロジックの雑誌帳から / 竹内外史著
東京 : 日本評論社 , 1972
図書 [BN00956533]
リー代数と素粒子論 / 竹内外史著
東京 : 裳華房 , 1983.11
図書 [BN00096719]
数学的世界観 : 現代数学の思想と展望 / 竹内外史著
東京 : 紀伊国屋書店 , 1982.2
図書 [BN00674699]
無限小解析と物理学 / 竹内外史著
東京 : 遊星社 , 1985.10
図書 [BN00094713]
証明論と計算量 / 竹内外史著
東京 : 裳華房 , 1995.11
図書 [BN13445912]
PとNP : 計算量の根本問題 / 竹内外史著
東京 : 日本評論社 , 1996.9
図書 [BN14971885]
ゲーデル / 竹内外史著
新版. - 東京 : 日本評論社 , 1998.9
図書
数学から物理学へ / 竹内外史著
東京 : 日本評論社 , 1979.3
図書 [BN00490040]
集合とはなにか : はじめて学ぶ人のために / 竹内外史著
東京 : 講談社 , 1976. - (ブルーバックス)
図書 [BN0179284X]
線形代数と量子力学 / 竹内外史著
東京 : 裳華房 , 1981.3. - (基礎数学選書 ; 24)
図書 [BN0118307X]
層・圏・トポス : 現代的集合像を求めて / 竹内外史著
東京 : 日本評論社 , 1978.1
直観主義的集合論 / 竹内外史著
東京 : 紀伊国屋書店 , 1980.12. - (紀伊国屋数学叢書 ; 20)
図書 [BN00663841]
東京 : 講談社 , 2001.5. - (ブルーバックス ; Bー1332)
線型論理入門 / 竹内外史著
東京 : 日本評論社 , 1995.1
図書 [BN11818349]
第2版. - 東京 : 遊星社 , 2001.5
図書 [BA52246335]
数学基礎論 / 前原昭二, 竹内外史著
東京 : 筑摩書房 , 2017.1. - (ちくま学芸文庫 ; [マ-41-1])
図書 [BB22793165]
証明論入門 / 竹内外史,八杉満利子共著
東京 : 共立出版 , 1988.2
図書 [BN01958614]
位相幾何学 / 河田敬義,竹内外史共著
東京 : 朝倉書店 , 1955. - (数学全書)
