Recursive function theory and logic.
Series: Computer science and applied mathematics
Publisher: Academic Press
Published: 1971
Place of publication: New York
Language: eng
Number of pages: 338
Subjects: Recursive functions; Logic, Symbolic and mathematical
Notes: Bibliography: p. 321-326.