Enumerability Decidability Computability
Subtitle: An Introduction to the Theory of Recursive Functions
Publisher: Springer
Published: 2012
Language: eng
Number of pages: 250
ISBN-13: 9783642461804
Subjects: Recursive functions; Algorithms; Computable functions; Goedel's theorem