山梨大学の蔵書を検索します。
CiNii Booksを検索します。
CiNiiを検索します。
IRDBを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(著者名に左の語を含む: #竹内 外史)
該当件数:18件
集合とはなにか : はじめて学ぶ人のために / 竹内外史著
: 新装版. - 東京 : 講談社 , 2001.5. - (ブルーバックス ; B-1332)
図書
層・圏・トポス : 現代的集合像を求めて / 竹内外史著
第1版第5刷. - 東京 : 日本評論社 , 1987.1
ゲーデル / 竹内外史著
東京 : 日本評論社 , 1986.11
リー代数と素粒子論 / 竹内外史著
東京 : 裳華房 , 1983.11
数学的世界観 : 現代数学の思想と展望 / 竹内外史著
東京 : 紀伊國屋書店 , 1982.2
線形代数と量子力学 / 竹内外史著
東京 : 裳華房 , 1981.3. - (基礎数学選書 ; 24)
数学から物理学へ / 竹内外史著
東京 : 日本評論社 , 1979.3
東京 : 日本評論社 , 1979
東京 : 日本評論社 , 1978.1
Two applications of logic to mathematics / by Gaisi Takeuti
ja. - [Tokyo] : Iwanami Shoten. - [Princeton, N.J.] : Princeton University Press , 1978. - (Publications of the Mathematical Society of Japan ; 13 . Kanō memorial lectures ; 3)
Proof theory / Gaisi Takeuti
American Elsevier,North-Holland. - Amsterdam : North-Holland Pub. Co. - New York : American Elsevier Pub. Co. , 1975. - (Studies in logic and the foundations of mathematics ; v. 81)
数学基礎論 / 竹内外史, 八杉満利子著
増補版. - 東京 : 共立出版 , 1974.3. - (現代数学講座 ; 1)
数理論理学 : 語の問題 / 竹内外史著
東京 : 培風館 , 1973.4. - (数理科学シリーズ ; 7)
Axiomatic set theory / by G. Takeuti and W.M. Zaring
: us hard cover,: us soft cover,: gw soft cover. - New York : Springer-Verlag , c1973. - (Graduate texts in mathematics ; 8)
数学基礎論の世界 : ロジックの雑記帳から / 竹内外史著
東京 : 日本評論社 , 1972.5
現代集合論入門 / 竹内外史著
東京 : 日本評論社 , 1971. - (日評数学選書)
数学基礎論 / 竹内外史著
東京 : 共立出版 , 1956. - (現代数学講座 ; 1-A, 1)
自然数論 / 河田敬義, 竹内外史著
改訂増補版. - 東京 : 河出書房 , 1951.9