Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit über Nachfolgerbereichen
By: Michael Deutsch
Publisher: Universitätsdruckerei Bremen
Published: 2003
Place of publication: Bremen
Language: ger
Number of pages: 232
Subjects: Recursive functions; Algorithms; Gödel's theorem
Other titles: Über Nachfolgerbereichen
Notes: Includes bibliographical references (p. 229-232).