yr 〜
yr

Search results 33

数学基礎論 (ちくま学芸文庫 ; マ41-1. [Math & Science])

数学基礎論 (ちくま学芸文庫 ; マ41-1. [Math & Science])
PaperDigital図書
前原昭二, 竹内外史 著筑摩書房2017.1<MA41-L63>
National Diet LibraryOther Libraries in Japan
  • Author Heading前原, 昭二, 1927-1992 竹内, 外史, 1926-2017

Proof theory Second edition. (Dover books on mathematics)

Proof theory Second edition. (Dover books on mathematics)
Paper図書
Gaisi Takeuti.Dover Publications2013.<MA41-B46>
National Diet Library
  • Author Heading竹内, 外史, 1926-2017

直観主義的集合論 オンデマンド版 (紀伊國屋数学叢書 ; 20)

直観主義的集合論 オンデマンド版 (紀伊國屋数学叢書 ; 20)
Paper図書
竹内外史 著紀伊國屋書店2008.9<MA41-J26>
National Diet LibraryOther Libraries in Japan
  • Author Heading竹内, 外史, 1926-2017

証明論入門 復刊

証明論入門 復刊
Paper図書
竹内外史, 八杉満利子 共著共立出版2010.6<MA41-J39>
National Diet LibraryOther Libraries in Japan
  • Author Heading竹内, 外史, 1926-2017 八杉, 満利子, 1937-

Memoirs of a proof theorist : Gödel and other logicians / [Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell.

Memoirs of a proof theorist : Gödel and other logicians / [Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell.
Paper図書
World Scientificc2003.<MA25-B6>
National Diet Library
  • Author Heading竹内, 外史, 1926-2017

集合とはなにか : はじめて学ぶ人のために 新装版 (ブルーバックス)

集合とはなにか : はじめて学ぶ人のために 新装版 (ブルーバックス)
PaperRecording MediaDigital図書障害者向け資料あり
竹内外史 著講談社2001.5<MA41-G70>
National Diet LibraryOther Libraries in Japan
  • Author Heading竹内, 外史, 1926-2017

無限小解析と物理学 第2版

無限小解析と物理学 第2版
Paper図書
竹内外史 著遊星社2001.5<MA111-G41>
National Diet LibraryOther Libraries in Japan
  • Author Heading竹内, 外史, 1926-2017

ゲーデル 新版

ゲーデル 新版
Paper図書
竹内外史 著日本評論社1998.9<MA25-G33>
National Diet LibraryOther Libraries in Japan
  • Author Heading竹内, 外史, 1926-2017

PとNP : 計算量の根本問題

PとNP : 計算量の根本問題
Paper図書
竹内外史 著日本評論社1996.9<MA41-G22>
National Diet LibraryOther Libraries in Japan
  • Author Heading竹内, 外史, 1926-2017

証明論と計算量

証明論と計算量
Paper図書
竹内外史 著裳華房1995.11<MA41-G9>
National Diet LibraryOther Libraries in Japan
  • Author Heading竹内, 外史, 1926-2017

線型論理入門

線型論理入門
PaperDigital図書
竹内外史 著日本評論社1995.1<MA41-E88>
National Diet LibraryOther Libraries in Japan
  • Author Heading竹内, 外史, 1926-2017

ゲーデルの夢 : 数学 (河合ブックレット. 数学シリーズ ; 12)

ゲーデルの夢 : 数学 (河合ブックレット. 数学シリーズ ; 12)
PaperDigital図書
竹内外史 著河合文化教育研究所1990.8<MA41-E40>
National Diet LibraryOther Libraries in Japan
  • Author Heading竹内, 外史, 1926-2017

現代集合論入門 増補版 (日評数学選書)

現代集合論入門 増補版 (日評数学選書)
PaperDigital図書
竹内外史 著日本評論社1989.12<MA41-E60>
National Diet LibraryOther Libraries in Japan
  • Author Heading竹内, 外史, 1926-2017

ゲーデル

ゲーデル
PaperDigital図書
竹内外史 著日本評論社1986.11<MA25-126>
National Diet LibraryOther Libraries in Japan
  • Author Heading竹内, 外史, 1926-2017

証明論入門

証明論入門
PaperDigital図書
竹内外史, 八杉満利子 共著共立出版1988.2<MA41-E8>
National Diet LibraryOther Libraries in Japan
  • Author Heading竹内, 外史, 1926-2017 八杉, 満利子, 1937-

無限小解析と物理学

無限小解析と物理学
PaperDigital図書
竹内外史 著遊星社1985.10<MA111-99>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author Heading竹内, 外史, 1926-2017

リー代数と素粒子論

リー代数と素粒子論
PaperDigital図書
竹内外史 著裳華房1983.11<MA67-81>
National Diet LibraryOther Libraries in Japan
  • Author Heading竹内, 外史, 1926-2017

Introduction to axiomatic set theory / Gaisi Takeuti, Wilson M. Zaring. 2nd ed. (Graduate texts in mathematics ; 1)

Introduction to axiomatic set theory / Gaisi Takeuti, Wilson M. Zaring. 2nd ed. (Graduate texts in mathematics ; 1)
Paper図書
Springer-Verlagc1982.<MA41-166>
National Diet Library
  • Author Heading竹内, 外史, 1926-2017 Zaring, Wilson M.

数学的世界観 : 現代数学の思想と展望

数学的世界観 : 現代数学の思想と展望
PaperDigital図書
竹内外史 著紀伊国屋書店1982.2<MA21-179>
National Diet LibraryOther Libraries in Japan
  • Author Heading竹内, 外史, 1926-2017

線形代数と量子力学 (基礎数学選書 ; 24)

線形代数と量子力学 (基礎数学選書 ; 24)
PaperDigital図書
竹内外史 著裳華房1981.3<MA64-121>
National Diet LibraryOther Libraries in Japan
  • Author Heading竹内, 外史, 1926-2017