---

＜図書＞
Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen
(Heidelberger Taschenbucher ; Bd. 87)

版	2. Aufl.
出版者	Berlin : Springer
出版年	1971
大きさ	x, 246 p. 21 cm.
著者標目	Hermes, Hans
件　名	Recursive functions Algorithms Godel's theorem Computable functions
一般注記	Includes bibliographies.

 類似資料