1.

図書
図書
1. Algorithmic randomness and complexity
Rodney G. Downey, Denis R. Hirschfeldt
出版情報: New York : Springer Science+Business Media, c2010
シリーズ名: Theory and applications of computability
所蔵情報: loading…
2.

図書
図書
2. Graphs and cubes
Sergei Ovchinnikov
出版情報: New York, N.Y. : Springer, c2011
シリーズ名: Universitext
所蔵情報: loading…
3.

図書
図書
3. Logic and structure. 5th ed (: pbk)
Dirk van Dalen
出版情報: Berlin : Springer, c2013
シリーズ名: Universitext
所蔵情報: loading…
4.

図書
図書
4. 日本数学教育史
中谷太郎著 ; 上垣渉編
出版情報: 千葉 : 亀書房 , 東京 : 日本評論社 (発売), 2010.6
所蔵情報: loading…
5.

図書
図書
5. コンピュータと数学
高橋正子著
出版情報: 東京 : 朝倉書店, 2016.5
シリーズ名: 現代基礎数学 / 新井仁之 [ほか] 編 ; 2
所蔵情報: loading…