Enumerability, decidability, computability : an introduction to the theory of recursive functions
CiNii
Available at 42 libraries
Bibliographic Information
- Title
- "Enumerability, decidability, computability : an introduction to the theory of recursive functions"
- Statement of Responsibility
- Hans Hermes ; translated by G.T. Hermann and O. Plassmann
- Publisher
-
- Springer
- 2nd rev. ed
- Publication Year
-
- 1969
- Book size
- 24 cm
- Other Title
-
- Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
Search this Book/Journal
- Tweet
Details 詳細情報について
-
- CRID
- 1130282269167401472
-
- NII Book ID
- BA03957927
-
- Text Lang
- en
-
- Country Code
- gw
-
- Title Language Code
- en
-
- Place of Publication
-
- Berlin ; New York
-
- Subject
-
- LCSH: Recursive functions
- LCSH: Algorithms
- LCSH: Gödel's theorem
- LCSH: Computable functions
-
- Data Source
-
- CiNii Books