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

Book Cover
Author
Hermes, Hans
Publisher
Springer-Verlag
Publication Date
1965
Language
English

Description

Loading Description...

Published Reviews

Subjects

Subjects
Algorithms
Computable functions
Electronic books
Gödel's theorem
Mathematics
Recursive functions

More Details

Contributors
Herman, Gabor T. translator
Plassmann, Ortwin translator
ISBN
9783662116869

NoveList

Staff View

Loading Staff View.