福岡大学蔵書検索

Enumerability, decidability, computability : an introduction to the theory of recursive functions / Hans Hermes ; translated by G.T. Hermann and O. Plassmann
(Grundlehren der mathematischen Wissenschaften ; Bd. 127)

データ種別	図書
版	2nd rev. ed
出版者	Berlin : Springer-Verlag
出版年	1969
形態	x, 245 p. ; 24 cm
著者標目	Hermes, Hans
件　名	Recursive functions Algorithms Gödel's theorem Computable functions
分　類	NDC:410.12 NDC:410.8 NDC:413.5 DDC:510/.01 LCC:QA248.5
書誌ID	LT00168629

状　態	巻　次	所　在	請求記号	資料番号	ISBN	刷　年	コメント	利用注記	予約・取寄	お薦めの本	自動書庫	付録注記
		中央自動書庫	410.12/H53/2	0102135740100					予約・取寄				予約・取寄
		中央自動書庫	410.8/G89/1-127	0102829210106					予約・取寄				予約・取寄

本文言語	英語
NCID	BA03957927