---

＜図書＞
Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen
(Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berucksichtigung der Anwendungsgegiete ; Bd. 109)

出版者	Berlin : Springer
出版年	1961
大きさ	246 p. illus. 24 cm.
著者標目	Hermes, Hans
件　名	Recursive functions Algorithms Godel's theorem Computable functions
一般注記	Includes bibliography.

 類似資料