OPAC

ケイサンノリロン
計算の理論 / M.デーヴィス著 : 渡辺茂, 赤攝也訳
(現代科学選書)

データ種別	図書
出版者	東京 : 岩波書店
出版年	1966.10
本文言語	日本語
大きさ	x, 314p : 図版 ; 21cm
著者標目	Davis, Martin, 1928- 赤, 攝也(1926-) <セキ, セツヤ> 渡辺, 茂(1918-1992) <ワタナベ, シゲル>

巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
	射水-2階-電動書庫	418\|\|D46	100434315						予約	請求メモ	予約	請求メモ
	射水-2階-電動書庫	418\|\|D46\|\|A	100434323						予約	請求メモ	予約	請求メモ

別書名	原タイトル:Computability and unsolvability
一般注記	参考文献: p265-271
分　類	NDC8:413
書誌ID	B000090263
NCID	BN01849175