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

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

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

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

証明論入門 復刊

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

Proof theory 2nd ed

Proof theory 2nd ed
Paper図書
Gaisi TakeutiDover Publications2013
Other Libraries in Japan

リー代数と素粒子論 復刊

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

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

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

線形代数と量子力学

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

直観主義的集合論 : electronic bk

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

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

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

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

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

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

ゲーデル 新版

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

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

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

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

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

証明論と計算量

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

線型論理入門

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

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

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

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