Revision as of 22:24, 25 February 2007 edit CBM (talk \| contribs) Extended confirmed users, File movers, Pending changes reviewers, Rollbackers 55,390 edits create		Revision as of 02:33, 26 February 2007 edit undo CBM (talk \| contribs) Extended confirmed users, File movers, Pending changes reviewers, Rollbackers 55,390 edits +cat recursion theory Next edit →
Line 57: * H. Rogers, Jr., 1967. ''The Theory of Recursive Functions and Effective Computability'', second edition 1987, MIT Press. ISBN 0-262-68052-1 (paperback), ISBN 0-07-053522-1 * G Sacks, 1990. ''Higher Recursion Theory'', Springer-Verlag. ISBN 3-540-19305-7 [[Category:Recursion theory]]

Reduction (computability theory): Difference between revisions