close
1.

図書
図書
1. ゲーデルの世界 : 完全性定理と不完全性定理
廣瀬健, 横田一正著
出版情報: 東京 : 海鳴社, 1985.5
所蔵情報: loading…
2.

図書
図書
2. アルゴリズムと複雑さ
Leeuwen, Jan van ; 広瀬, 健(1935-)
出版情報: 東京 : 丸善, 1994.2
シリーズ名: コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 1
所蔵情報: loading…
3.

図書
図書
3. 形式的モデルと意味論
Leeuwen, Jan van ; 広瀬, 健(1935-)
出版情報: 東京 : 丸善, 1994.2
シリーズ名: コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 2
所蔵情報: loading…
4.

図書
図書
4. 数学・基礎の基礎
廣瀬健著
出版情報: 東京 : 海鳴社, 1996.6
所蔵情報: loading…