八杉満利子の本

5冊

著者名の一致で集めています。同じ名前の別の方が混じることがあります。

• 証明論入門
  証明論入門2010-06-01
• 不完全性定理2006-09-01
• お話・数学基礎論 : 数学では必ず正しい結論に到達できるか?
  お話・数学基礎論 : 数学では必ず正しい結論に到達できるか?2002-06-01
• 情報系の数学入門
  情報系の数学入門1993-09-01
• 証明論入門
  証明論入門1988-02-01