Computability and logic
By John P. Burgess, George S. Boolos, Richard C. Jeffrey
Subjects: Computable functions, Symbolic and mathematical Logic, Qa9.59 .b66 2007, Recursive functions, Logic, symbolic and mathematical, 511.3/52
Description:
Comments
You must log in to leave comments.