Recursion Theory, Its Generalisations and Applications

by Frank R. Drake and S.S. Wainer

Recursion theory - now a well-established branch of pure mathematics, having grown rapidly over the last 35 years - deals with the general (abstract) theory of those operations which we conceive as being 'computable' by idealized machines. The theory grew out of, and is usually still regarded, as a branch of mathematical logic. This book is a collection of advanced research/survey papers by eminent research workers in the field, based on their lectures...

• Format: Paperback
• Language: English
• ISBN: 052123543X
• ISBN13: 9780521235433
• Release Date: November 1980
• Publisher: Cambridge University Press
• Length: 328 Pages
• Weight: 1.06 lbs.
• Dimensions: 0.7" x 6.0" x 9.0"