ロード中...

Enumerability, decidability computability: an introduction to the theory of recursive functions /

書誌詳細
第一著者: Hermes, Hans
その他の著者: Hermann, G. T., Plassmann, O. (翻訳家)
フォーマット: Printed Book
言語:English
出版事項: Springer-Verlag, 1969.
その他の書誌記述
記述は利用できません。