close
1.

図書
図書
1. 数の体系と超準モデル
田中一之著
出版情報: 東京 : 裳華房, 2002.4
所蔵情報: loading…
2.

図書
図書
2. 計算可能性・計算の複雑さ入門
渡辺治著
出版情報: 東京 : 近代科学社, 1992.10
シリーズ名: アルゴリズム・シリーズ ; 3
所蔵情報: loading…
3.

図書
図書
3. 計算論 : 計算可能性とラムダ計算
高橋正子著
出版情報: 東京 : 近代科学社, 1991.8
シリーズ名: コンピュータサイエンス大学講座 ; 24
所蔵情報: loading…
4.

図書
図書
4. 計算モデルの基礎理論
井田哲雄 [著]
出版情報: 東京 : 岩波書店, 1991.3
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 12
所蔵情報: loading…
5.

図書
図書
5. 証明論入門
竹内外史, 八杉満利子共著
出版情報: 東京 : 共立出版, 1988.2
所蔵情報: loading…
6.

図書
図書
6. 数学基礎概説
大芝猛著
出版情報: 東京 : 共立出版, 1987.10
シリーズ名: 共立数学講座 ; 10
所蔵情報: loading…
7.

図書
図書
7. スイッチング理論演習
向殿政男, 笹尾勤著
出版情報: 東京 : 朝倉書店, 1984.5
シリーズ名: 電気・電子・通信・情報工学演習シリーズ / 相磯秀夫 [ほか] 編
所蔵情報: loading…
8.

図書
図書
8. 束と論理
松本和夫著
出版情報: 東京 : 森北出版, 1980.5
シリーズ名: 情報工学シリーズ ; 1 . 情報数学||ジョウホウ スウガク ; 1
所蔵情報: loading…
9.

図書
図書
9. 計算可能性入門
小林孝次郎著
出版情報: 東京 : 近代科学社, 1980.2
シリーズ名: コンピュータサイエンス大学講座
所蔵情報: loading…
10.

図書
図書
10. 数学基礎論入門
R.L.グッドステイン著 ; 赤攝也訳
出版情報: 東京 : 培風館, 1979.3
所蔵情報: loading…