Recursion Theory, its Generalisations and Applications
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…
Mehr
CHF 87.05
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
- ISBN: 978-0-511-89197-7
- EAN: 9780511891977
- Produktnummer: 14823685
- Verlag: Cambridge University Press
- Sprache: Englisch
- Erscheinungsjahr: 1980
- Seitenangabe: 0 S.
- Plattform: PDF
- Masse: 30'030 KB
2 weitere Werke von F. R. (Hrsg.) Drake:
Bewertungen
Anmelden