Computability and logic January 1989 Computable functions.; Recursive functions.; Logic, Symbolic and mathematical. ISBN 0521389232 View on Amazon Lists featuring this book (1)
