Jump to main content

yr 〜
yr

Search results 210

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

無限小解析と物理学（第2版） POD版
Paper図書
竹内 外史 著・文・その他森北出版2024-12-02
Other Libraries in Japan
  • Author Heading竹内 外史

数学基礎論 (ちくま学芸文庫 ; マ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-

Proof theory 2nd ed

Proof theory 2nd ed
Paper図書
Gaisi TakeutiDover Publications2013
Other Libraries in Japan
  • Author Heading竹内, 外史

リー代数と素粒子論 復刊

リー代数と素粒子論 復刊
Paper図書
竹内外史著裳華房1983
Other Libraries in Japan
  • Author Heading竹内, 外史

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

数学的世界観 : 現代数学の思想と展望 : electronic bk
Recording Media電子資料
竹内外史著NetLibrary2010
Other Libraries in Japan
  • Author Heading竹内, 外史

線形代数と量子力学

線形代数と量子力学
Paper図書
竹内外史著裳華房1981
Other Libraries in Japan
  • Author Heading竹内, 外史

直観主義的集合論 : electronic bk

直観主義的集合論 : electronic bk
Recording Media電子資料
竹内外史著NetLibrary2008
Other Libraries in Japan
  • Author Heading竹内, 外史

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

集合とはなにか : はじめて学ぶ人のために 新装版 (ブルーバックス)
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

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

ゲーデル 新版

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

集合とはなにか : はじめて学ぶ人のために : 新装版

集合とはなにか : はじめて学ぶ人のために : 新装版
Paper図書
竹内外史著講談社2001.5.
Other Libraries in Japan
  • Author Heading竹内, 外史

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

Memoirs of a proof theorist : Gödel and other logicians

Memoirs of a proof theorist : Gödel and other logicians
Paper図書
[Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas PassellWorld Scientificc2003
Other Libraries in Japan
  • Author Heading竹内, 外史 八杉, 満利子 Passell, Nicholas

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

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