Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen.

保存先:
書誌詳細
第一著者: Hermes, Hans
フォーマット: 図書
言語:German
出版事項: Berlin, Springer, 1961.
シリーズ:Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berucksichtigung der Anwendungsgebiete ; Bd. 109.
主題:

CARM 1 Store

予約・返却請求 CARM 1 Store
請求記号: A2:AD02D0 C00397
所蔵 1 利用可  予約する