General recursion theory
Subtitle: an axiomatic approach
Series: Perspectives in mathematical logic
Publisher: Springer-Verlag
Published: 1980
Language: eng
ISBN-13: 9783540093497
Subjects: Recursion theory