---

＜図書＞
Enumerability, decidability, computability; an introduction to the theory of recursive functions / by Hans Hermes. Translated by G.T Herman and O. Plassmann.
(Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berucksichtigung der Anwendungsgegiete ; Bd.127)

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

 類似資料