Soare. Recursively Enumerable Sets and Degree
It gives a complete account of the theory of r.e degrees. The definitions, results and proofs are always clearly motivated and explained before the formal presentation; the proofs are described with remarkable clarity and conciseness.
- from
- Theoretical Computer Science
- added
- 2026-10-10
- likes
- 0
similar
-
Conway names, the simplicity hierarchy and the surreal number tree doi.org
Philip Ehrlich.
-
Rosen. Handbook of Discrete and Combinatorial Mathematics taylorfrancis.com
A complete survey of roughly all topics of discrete math and their relevance to computing and communication engineering.
-
-
Elementary Number Theory: Primes, Congruences, and Secrets wstein.org
William Stein.
-
Sets, Relations, Functions cosc.brocku.ca
Ivo Düntsch, Günther Gediga.
-
Knuth. Things a Computer Scientist Rarely Talks About web.stanford.edu
A general illustration of relations between faith and science.
Theoretical Computer Science › Computability Theory > Books > Advanced: “It gives a complete account of the theory of r.e degrees. The definitions, results and proofs are always clearly motivated and explained before the formal presentation; the proofs are described with remarkable clarity and conciseness.”