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