Title: Recursive function theory
First published: 1962
LC classification: QA248.5 .S9 1961