My Account Log in

2 options

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen.

Math/Physics/Astronomy Library QA248.5 .H4
Loading location information...

Available This item is available for access.

Log in to request item
LIBRA 512.81 H427
Loading location information...

Available from offsite location This item is stored in our repository but can be checked out.

Log in to request item
Format:
Book
Author/Creator:
Hermes, Hans.
Series:
Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 109.
Die Grundlehren der mathematischen Wissenschaften ; Bd. 109
Language:
German
Subjects (All):
Recursive functions.
Algorithms.
Gödel's theorem.
Computable functions.
Physical Description:
ix, 246 pages : illustrations ; 24 cm.
Place of Publication:
Berlin : Springer, 1961.
Notes:
Includes bibliography and index.
OCLC:
10949016

The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.

My Account

Shelf Request an item Bookmarks Fines and fees Settings

Guides

Using the Library Catalog Using Articles+ Library Account