Tools

LEADER 01679cam a22003731 4500

001 ocm00527054;

005 20141212084131.0;

008 840803s1965 gw a b 001 0 eng ;

010 a| 65012556;

035 a| (Sirsi) o00527054;

035 a| (OCoLC)527054;

041 1 a| enga| ger;

049 a| EREE;

050 00 a| QA248.5b| .H413;

100 1 a| Hermes, Hans.=| ^A23921;

245 10 a| Enumerability, decidability, computability;an introduction to the theory of recursive functions :b| by Hans Hermes. Translated by G.T Herman and O. Plassmann.;

260 a| Berlin,a| New York :b| Springer-Verlag,c| 1965.;

300 a| ix, 245 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ;v| Bd. 127;

504 a| Includes bibliographies.;

650 0 a| Recursive functions.=| ^A30764;

650 0 a| Algorithms.=| ^A17554;

650 0 a| Gödel's theorem.=| ^A207978;

650 0 a| Computable functions.=| ^A60697;

730 0 a| Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.?| UNAUTHORIZED;

830 0 a| Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ;v| Bd. 127.=| ^A239907;

919 a| BOOK;

596 a| 1;

998 a| 399178;

999 a| QA248.5 .H413w| LCc| 1i| 30372005896151d| 3/27/2013e| 11/24/1993f| 3/27/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 10/26/1991x| BOOKz| JSTACKSo| .STAFF. .note. 5 External uses Location when checked out Joynero| .STAFF. 0;

Enumerability, decidability, computability;an introduction to the theory of recursive functions : by Hans Hermes. Translated by G.T Herman and O. Plassmann.

Author/creator	Hermes, Hans
Format	Book
Publication Info	Berlin, New York : Springer-Verlag, 1965.
Description	ix, 245 pages : illustrations ; 24 cm.
Subjects	Recursive functions. Algorithms. Gödel's theorem. Computable functions.

Series	Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 127 Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 127. ^A239907
Bibliography note	Includes bibliographies.
Other title	Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.
LCCN	65012556

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA248.5 .H413	✔ Available	Place Hold

Enumerability, decidability, computability;an introduction to the theory of recursive functions : by Hans Hermes. Translated by G.T Herman and O. Plassmann.

Click here for more information about this title

Availability