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

By:

Hermes, Hans [author.]

Contributor(s):

Material type: Text

TextPublisher: Berlin, Germany ; New York, New York : Springer-Verlag, [1965]Copyright date: 1965Description: 1 online resource (255 pages) : illustrationsContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783662116869

Subject(s):

Mathematics

Genre/Form:

Electronic books.

Additional physical formats: Print version:: Enumerability, decidability, computability : an introduction to the theory of recursive functions.DDC classification:

164 23

LOC classification:

QA248.5 .H476 1965

Online resources:

Click to View

Item type:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

No physical items for this record

Description based on print version record.

Electronic reproduction. Ann Arbor, MI : ProQuest, 2018. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.

There are no comments on this title.

to post a comment.

DeKUT Library

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