Research Catalog

Enumerability, decidability, computability. : An introduction to the theory of recursive functions

Title
Enumerability, decidability, computability. : An introduction to the theory of recursive functions / Translated by G. T. Hermann and O. Plassmann.
Author
Hermes, Hans
Publication
Berlin ; New York : Springer, 1969.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA248.5 .H413 1969Off-site

Holdings

Details

Description
x, 245 pages; 24 cm.
Series Statement
Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 127
Uniform Title
  • Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit. English
  • Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 127.
Alternative Title
Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit.
Subject
  • Recursive functions
  • Algorithms
  • Gödel's theorem
  • Computable functions
Note
  • Translation of Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.
Bibliography (note)
  • Includes bibliographies.
LCCN
76089552
OCLC
ocm00047207
Owning Institutions
Columbia University Libraries