Aufzählbarkeit, Entscheidbarkeit Berechenbarkeit, einführung in die Theorie der rekursiven Funktionen
著者
書誌事項
Aufzählbarkeit, Entscheidbarkeit Berechenbarkeit, einführung in die Theorie der rekursiven Funktionen
（Die Grundlehren der mathematischen Wissenschaften, Bd. 109）
Springer, 1961
大学図書館所蔵 全55件
この図書・雑誌をさがす
注記
Includes bibliographical references and index