Turing-Machine Computable Functionals of Finite Types II

Proceedings of the London Mathematical Society 1962 / 01 Vol. s3-12; Iss. 1

Turing-Machine Computable Functionals of Finite Types II

Kleene, S. C.
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
s3-12
Language:
english
Journal:
Proceedings of the London Mathematical Society
DOI:
10.1112/plms/s3-12.1.245
Date:
January, 1962
File:
PDF, 401 KB
english, 1962
Conversion to is in progress
Conversion to is failed