close
1.

図書
図書
1. PとNP : 計算量の根本問題
竹内外史著
出版情報: 東京 : 日本評論社, 1996.9
所蔵情報: loading…
2.

図書
図書
2. ゲーデルの夢
竹内外史著
出版情報: 名古屋 : 河合文化教育研究所 , 東京 : 河合出版(発売), 1990.8
シリーズ名: 河合ブックレット ; . 数学シリーズ||スウガク シリーズ ; 12
所蔵情報: loading…
3.

図書
図書
3. 線型論理入門
竹内外史著
出版情報: 東京 : 日本評論社, 1995.1
所蔵情報: loading…
4.

図書
図書
4. 証明論と計算量
竹内外史著
出版情報: 東京 : 裳華房, 1995.11
所蔵情報: loading…
5.

図書
図書
5. ゲーデル. 新版
竹内外史著
出版情報: 東京 : 日本評論社, 1998.9
所蔵情報: loading…