本文に飛ぶ

年 〜
年

検索結果 10 件

証明論入門 復刊

証明論入門 復刊
紙図書
竹内外史, 八杉満利子 共著共立出版2010.6<MA41-J39>
国立国会図書館全国の図書館
  • 著者標目（識別子）00080185 00095542

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

不連続関数の計算可能性 : そのパラダイムを目指して
紙図書
八杉満利子, 京都産業大学 [著][八杉満利子]2004-2006<Y151-H16340028>
国立国会図書館
  • 著者標目（識別子）00095542 00281455

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

不完全性定理 (岩波文庫)
紙図書
ゲーデル [著], 林晋, 八杉満利子 訳・解説岩波書店2006.9<MA41-H36>
国立国会図書館全国の図書館
  • 著者標目（識別子）00549746 00192925 00095542

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

連続体上の計算可能性問題の多角的研究
紙図書
八杉, 満利子, 京都産業大学2000-2002<Y151-H12440031>
国立国会図書館
  • 著者標目（識別子）00095542

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

お話・数学基礎論 : 数学では必ず正しい結論に到達できるか? (ブルーバックス)
紙図書
八杉満利子, 林晋 著講談社2002.6<MA41-G83>
国立国会図書館全国の図書館
  • 著者標目（識別子）00095542 00192925

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

論理パズルとパズルの論理 (アウト・オブ・コース ; 7)
紙図書児童書
八杉満利子, 林晋 共著遊星社1998.7<KD958-G301>
国立国会図書館全国の図書館
  • 著者標目（識別子）00095542 00192925

情報系の数学入門

情報系の数学入門
紙デジタル図書
林晋, 八杉満利子 共著オーム社1993.9<MA21-E127>
国立国会図書館全国の図書館
  • 著者標目（識別子）00192925 00095542

証明論入門

証明論入門
紙デジタル図書
竹内外史, 八杉満利子 共著共立出版1988.2<MA41-E8>
国立国会図書館全国の図書館
  • 著者標目（識別子）00080185 00095542

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

数学基礎論 増補版 (現代数学講座 ; 1)
紙デジタル図書
竹内外史, 八杉満利子 共著共立出版1974<MA41-48>
国立国会図書館全国の図書館
  • 著者標目（識別子）00080185 00095542

Interpretations of set theory and ordinal number theory

Interpretations of set theory and ordinal number theory
紙博士論文
八杉満利子 [著]<UT51-42-Q35>
国立国会図書館
  • 著者標目（識別子）00095542

検索結果は以上です。

RSS