Recursion Theory

Recursion Theory

Its Generalisations and Applications : Proceedings of Logic Colloquium '79, Leeds, August 1979

eBook - 1980
Rate this:
Cambridge Univ Pr
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 given at the Leeds Logic Colloquium 1979. As such it provides an up-to-date view of current ideas and developments in the field of recursion theory as a whole. The individual contributions fit together naturally so as to provide an overview of all the main areas of research in the field. It will therefore be an important and invaluable source for advanced researchers and research students in mathematics and computer science (particularly in Europe, USA and USSR).
This book is a collection of advanced research/survey papers by eminent research workers in the Recursion theory.

Publisher: Cambridge ; New York : Cambridge University Press, 1980
ISBN: 9781107360969
110736096X
9780511629181
0511629184
052123543X
9780521235433
Characteristics: 1 online resource (319 pages)

Opinion

From the critics


Community Activity

Comment

Add a Comment

There are no comments for this title yet.

Age Suitability

Add Age Suitability

There are no age suitabilities for this title yet.

Summary

Add a Summary

There are no summaries for this title yet.

Notices

Add Notices

There are no notices for this title yet.

Quotes

Add a Quote

There are no quotes for this title yet.

Explore Further

Recommendations

Subject Headings

  Loading...

Find it at SPL

  Loading...
[]
[]
To Top