An edition of Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit (1961)

Enumerability, decidability, computability.

An introduction to the theory of recursive functions.

2d rev. ed.

by

  • 1 Want to read
Cover of: Enumerability, decidability, computability. by Hans Hermes, Hans Hermes
Preview
Borrow

My Reading Lists:

Create a new list
Notes
  • 1 Want to read
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
December 13, 2019 | History
Edit
An edition of Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit (1961)

Enumerability, decidability, computability.

An introduction to the theory of recursive functions.

2d rev. ed.

by

  • 1 Want to read

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
245

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Algorithms Computable functions Gödel's theorem Recursive functions Berechenbarkeit Fonctions récursives Mathématiques Rekursive Funktion Entscheidbarkeit Algorithmentheorie Aufzählbarkeit Logique

Showing 2 featured editions. View all 11 editions?

Edition Availability
Cover of: Enumerability, decidability, computability.
Enumerability, decidability, computability.: An introduction to the theory of recursive functions.
1969, Springer
in English - 2d rev. ed.
Cover of: Enumerability, decidability, computability
Enumerability, decidability, computability: an introduction to the theory of recursive functions
1965, Springer-Verlag
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographies.
Translation of Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.

Published in
Berlin, New York
Series
Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ;, Bd. 127

Classifications

Dewey Decimal Class
510/.01
Library of Congress
QA248.5 .H413 1969

The Physical Object

Pagination
x, 245 p.
Number of pages
245

Edition Identifiers

Open Library
OL4910814M
Internet Archive
enumerabilitydec0000herm
LCCN
76089552
OCLC/WorldCat
47207
LibraryThing
3935744

Work Identifiers

Work ID
OL6602493W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON