Enumerability, Decidability, Computability
Subtitle: An Introduction to the Theory of Recursive Functions
Publisher: Springer London, Limited
Published: 2013
Language: eng
Number of pages: 245
ISBN-13: 9783662116869