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

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

Label
Enumerability, decidability, computability : an introduction to the theory of recursive functions
Title
Enumerability, decidability, computability
Title remainder
an introduction to the theory of recursive functions
Statement of responsibility
by Hans Hermes. Translated by G. T. Herman and O. Plassmann
Creator
Subject
Genre
Language
  • eng
  • ger
  • eng
Member of
Cataloging source
DLC
http://library.link/vocab/creatorName
Hermes, Hans
Illustrations
illustrations
Index
no index present
Literary form
non fiction
Nature of contents
bibliography
Series statement
Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete
Series volume
Bd. 127
http://library.link/vocab/subjectName
  • Recursive functions
  • Algorithms
  • Gödel's theorem
  • Computable functions
Label
Enumerability, decidability, computability : an introduction to the theory of recursive functions, by Hans Hermes. Translated by G. T. Herman and O. Plassmann
Instantiates
Publication
Bibliography note
Includes bibliographies
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
527054
Dimensions
24 cm
Extent
ix, 245 pages
Lccn
65012556
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
System control number
(WaOLN)356912
Label
Enumerability, decidability, computability : an introduction to the theory of recursive functions, by Hans Hermes. Translated by G. T. Herman and O. Plassmann
Publication
Bibliography note
Includes bibliographies
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
527054
Dimensions
24 cm
Extent
ix, 245 pages
Lccn
65012556
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
System control number
(WaOLN)356912

Library Locations

    • Mathematical Sciences LibraryBorrow it
      104 Ellis Library, Columbia, MO, 65201, US
      38.944377 -92.326537
Processing Feedback ...