富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(著者名に左の語を含む: #竹内 外史)
該当件数:19件
証明論入門 / 竹内外史, 八杉満利子共著
復刊. - 東京 : 共立出版 , 2010.6
図書
集合とはなにか : はじめて学ぶ人のために / 竹内外史著
: 新装版. - 東京 : 講談社 , 2001.5. - (ブルーバックス ; B-1332)
線型論理入門 / 竹内外史著
東京 : 日本評論社 , 1995.1
現代集合論入門 / 竹内外史著
増補版. - 東京 : 日本評論社 , 1989.12. - (日評数学選書)
東京 : 共立出版 , 1988.2
ゲーデル / 竹内外史著
東京 : 日本評論社 , 1986.11
数学的世界観 : 現代数学の思想と展望 / 竹内外史著
東京 : 紀伊國屋書店 , 1982.2
線形代数と量子力学 / 竹内外史著
東京 : 裳華房 , 1981.3. - (基礎数学選書 ; 24)
直観主義的集合論 / 竹内外史著
東京 : 紀伊國屋書店 , 1980.12. - (紀伊國屋数学叢書 ; 20)
層・圏・トポス : 現代的集合像を求めて / 竹内外史著
第1版第3刷. - 東京 : 日本評論社 , 1980.8
数学から物理学へ / 竹内外史著
東京 : 日本評論社 , 1979.3
東京 : 講談社 , 1976.9. - (ブルーバックス ; B-298)
数理論理学 : 語の問題 / 竹内外史著
東京 : 培風館 , 1973.4. - (数理科学シリーズ ; 7)
数学基礎論の世界 : ロジックの雑記帳から / 竹内外史著
東京 : 日本評論社 , 1972.5
Introduction to axiomatic set theory / G. Takeuti, W.M. Zaring
soft cover. - New York : Springer-Verlag , c1971. - (Graduate texts in mathematics ; 1)
東京 : 日本評論社 , 1971. - (日評数学選書)
数学基礎論 / 竹内外史著
東京 : 共立出版 , 1956. - (現代数学講座 ; 1-A, 1)
Two applications of logic to mathematics / by Gaisi Takeuti
ja. - [Tokyo] : Iwanami Shoten. - [Princeton, N.J.] : Iwanami Shoten. - (Publications of the Mathematical Society of Japan ; 13 . Kanō memorial lectures ; 3)
無限小解析と物理学 / 竹内外史著
東京 : 遊星社. - 東京 : 遊星社