yr 〜
yr

Search results 12

記述集合論要説

記述集合論要説
PaperDigital図書
田中尚夫 著日本評論社2024.3<MA41-R4>
National Diet LibraryOther Libraries in Japan
  • Author Heading田中, 尚夫, 1928-

計算論理入門 : 情報の数理 オンデマンド版

計算論理入門 : 情報の数理 オンデマンド版
Paper図書
田中尚夫 著裳華房2018.3<MA41-L78>
National Diet LibraryOther Libraries in Japan
  • Author Heading田中, 尚夫, 1928-

現代数理論理学入門 復刊

現代数理論理学入門 復刊
Paper図書
J.N.クロスリー 他著, 田中尚夫 訳共立出版2017.4<MA41-L67>
National Diet LibraryOther Libraries in Japan
  • Author HeadingCrossley, John N 田中, 尚夫, 1928-

ヘルマン・ヴァイル連続体 : 解析学の基礎についての批判的研究

ヘルマン・ヴァイル連続体 : 解析学の基礎についての批判的研究
Paper図書
ヘルマン・ヴァイル 著, 田中尚夫, 渕野昌 訳・注釈・解説日本評論社2016.2<MA41-L52>
National Diet LibraryOther Libraries in Japan
  • Author HeadingWeyl, Hermann, 1885-1955 田中, 尚夫, 1928- 淵野, 昌, 1954-

選択公理と数学 : 発生と論争,そして確立への道 増訂版

選択公理と数学 : 発生と論争,そして確立への道 増訂版
Paper図書
田中尚夫 著遊星社2005.10<MA41-H24>
National Diet LibraryOther Libraries in Japan
  • Author Heading田中, 尚夫, 1928-

選択公理と数学 : 発生と論争,そして確立への道 増補版

選択公理と数学 : 発生と論争,そして確立への道 増補版
Paper図書
田中尚夫 著遊星社1999.9<MA41-G55>
National Diet LibraryOther Libraries in Japan
  • Author Heading田中, 尚夫, 1928-

計算論理入門 : 情報の数理

計算論理入門 : 情報の数理
Paper図書
田中尚夫 著裳華房1997.10<MA41-G37>
National Diet LibraryOther Libraries in Japan
  • Author Heading田中, 尚夫, 1928-

選択公理と数学 : 発生と論争,そして確立への道

選択公理と数学 : 発生と論争,そして確立への道
PaperDigital図書
田中尚夫 著遊星社1987.5<MA41-117>
National Diet LibraryOther Libraries in Japan
  • Author Heading田中, 尚夫, 1928-

現代数学レクチャーズ B 10

現代数学レクチャーズ B 10
PaperDigital図書
培風館1982.10<MA21-124>
National Diet LibraryOther Libraries in Japan
  • Author Heading田中, 尚夫, 1928-

工科系のための微分積分学 新版

工科系のための微分積分学 新版
PaperDigital図書
平野鉄太郎, 田中尚夫 共著裳華房1985.12<MA112-170>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author Heading平野, 鉄太郎, 1926-1992 田中, 尚夫, 1928-

現代数理論理学入門 (共立全書)

現代数理論理学入門 (共立全書)
PaperDigital図書
J.N.クロスリー 他著, 田中尚夫 訳共立出版1977.11<MA41-76>
National Diet LibraryOther Libraries in Japan
  • Author HeadingCrossley, John N 田中, 尚夫, 1928-

工科系のための微分積分学

工科系のための微分積分学
PaperDigital図書
平野鉄太郎, 田中尚夫 共著裳華房1978.2<MA112-90>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author Heading平野, 鉄太郎, 1926-1992 田中, 尚夫, 1928-

Reached to the end of result.