Theory of recursive functions and effective computability.
Publisher: Massachusetts Institute of Technology
Published: 1957
Place of publication: Cambridge
Language: eng
Subjects: Logic, Symbolic and mathematical.