1.

図書
図書
1. 数理論理学
鹿島亮著
出版情報: 東京 : 朝倉書店, 2009.10
シリーズ名: 現代基礎数学 / 新井仁之 [ほか] 編 ; 15
所蔵情報: loading…
2.

図書
図書
2. 数学基礎論講義 : 不完全性定理とその発展
田中一之 [ほか] 著
出版情報: 東京 : 日本評論社, 1997.3
所蔵情報: loading…
3.

図書
図書
3. C言語による計算の理論
鹿島亮著
出版情報: 東京 : サイエンス社, 2008.10
シリーズ名: Computer science library ; 4
所蔵情報: loading…
4.

図書
図書
4. コンピュータサイエンスにおける様相論理
鹿島亮著
出版情報: 東京 : 森北出版, 2022.1
所蔵情報: loading…