Computability and logic
Boolos, George S.
creator
Jeffrey, Richard C.
text
Cambridge
Cambridge University Press
1989
3rd ed.
monographic
x, 304 p. ; 23 cm.
George S. Boolos, Richard C. Jeffrey.
Includes index.
Includes bibliographical references.
Computable functions
Recursive functions
Logic, Symbolic and mathematical
0521389232 (pbk.)
20230123133415.0