yr 〜
yr

Search results 10

証明論入門 復刊

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

不連続関数の計算可能性 : そのパラダイムを目指して

不連続関数の計算可能性 : そのパラダイムを目指して
Paper図書
八杉満利子, 京都産業大学 [著][八杉満利子]2004-2006<Y151-H16340028>
National Diet Library
  • Author Heading八杉, 満利子, 1937- 京都産業大学

不完全性定理 (岩波文庫)

不完全性定理 (岩波文庫)
Paper図書
ゲーデル [著], 林晋, 八杉満利子 訳・解説岩波書店2006.9<MA41-H36>
National Diet LibraryOther Libraries in Japan
  • Author HeadingGödel, Kurt, 1906-1978 林, 晋, 1953- 八杉, 満利子, 1937-

連続体上の計算可能性問題の多角的研究

連続体上の計算可能性問題の多角的研究
Paper図書
八杉, 満利子, 京都産業大学2000-2002<Y151-H12440031>
National Diet Library
  • Author Heading八杉, 満利子, 1937-

お話・数学基礎論 : 数学では必ず正しい結論に到達できるか? (ブルーバックス)

お話・数学基礎論 : 数学では必ず正しい結論に到達できるか? (ブルーバックス)
Paper図書
八杉満利子, 林晋 著講談社2002.6<MA41-G83>
National Diet LibraryOther Libraries in Japan
  • Author Heading八杉, 満利子, 1937- 林, 晋, 1953-

論理パズルとパズルの論理 (アウト・オブ・コース ; 7)

論理パズルとパズルの論理 (アウト・オブ・コース ; 7)
Paper図書児童書
八杉満利子, 林晋 共著遊星社1998.7<KD958-G301>
National Diet LibraryOther Libraries in Japan
  • Author Heading八杉, 満利子, 1937- 林, 晋, 1953-

情報系の数学入門

情報系の数学入門
PaperDigital図書
林晋, 八杉満利子 共著オーム社1993.9<MA21-E127>
National Diet LibraryOther Libraries in Japan
  • Author Heading林, 晋, 1953- 八杉, 満利子, 1937-

証明論入門

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

数学基礎論 増補版 (現代数学講座 ; 1)

数学基礎論 増補版 (現代数学講座 ; 1)
PaperDigital図書
竹内外史, 八杉満利子 共著共立出版1974<MA41-48>
National Diet LibraryOther Libraries in Japan
  • Author Heading竹内, 外史, 1926-2017 八杉, 満利子, 1937-

Interpretations of set theory and ordinal number theory

Interpretations of set theory and ordinal number theory
Paper博士論文
八杉満利子 [著]<UT51-42-Q35>
National Diet Library
  • Author Heading八杉, 満利子, 1937-

Reached to the end of result.