Machine generated authority record.

Work cat.: (Co-BoUCM)60274: Epstein, Richard L. 1947-, Computability computable functions, logic, and the foundations of mathematics, c2000