鹿島亮の本

4冊

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

• コンピュータサイエンスにおける様相論理 = Modal Logics in Computer Science
  コンピュータサイエンスにおける様相論理 = Modal Logics in Computer Science2022-01-01
• 数理論理学
  数理論理学2009-10-01
• C言語による計算の理論
  C言語による計算の理論2008-10-01
• 数学基礎論講義 : 不完全性定理とその発展
  数学基礎論講義 : 不完全性定理とその発展1997-03-01