Enumerability · Decidability Computability
Subtitle: An Introduction to the Theory of Recursive Functions
Publisher: Springer
Published: 1969-01-01
ISBN-13: 9783540045014