1.

図書
図書
1. キューネン数学基礎論講義
ケネス・キューネン著 ; 藤田博司訳
出版情報: 東京 : 日本評論社, 2016.7
所蔵情報: loading…
2.

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