✦ LIBER ✦

Recursively enumerable sets and degrees: R. I. Soare, Springer, 1987, 437 pp

✍ Scribed by Gian-Carlo Rota

Publisher: Elsevier Science
Year: 1988
Tongue: English
Weight: 64 KB
Volume: 71
Category: Article
ISSN: 0001-8708
DOI: 10.1016/0001-8708(88)90069-2

No coin nor oath required. For personal study only.

✦ Synopsis

The first comprehensive account of the theory of recursive functions since Hartley Rogers's classic treatise. The author wisely keeps an eye to computer application, aware of the fact that mathematical logic is rapidly becoming one of the most active branches of applied mathematics. The reading may not be easy for dyed-in-the-wool computer scientists, but at least it will stimulate them to take more mathematics courses, and remind them where computer science came from, and where it still has its roots.